首页> 外文OA文献 >Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems

【2h】

Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems

机译：StateCharts：模型，模拟和合成反应性和自主定时系统的形式主义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Simon Van Mierlo; Hans Vangheluwe;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. INTRODUCTION TO THE DISCRETE EVENT SYSTEM SPECIFICATION FORMALISM AND ITS APPLICATION FOR MODELING AND SIMULATING CYBER-PHYSICAL SYSTEMS [J] . Gabriel A. Wainer, Rhys Goldstein, Azam Khan Proceedings of the Workshop on Principles of Advanced and Distributed Simulation . 2018,第CDaROM1期

机译：离散事件系统规范形式主义介绍及其在造型和模拟网络物理系统的应用
2. Object-oriented event-graph modeling formalism to simulate manufacturing systems in the Industry 4.0 era [J] . Simulation modelling practice and theory: International journal of the Federation of European Simulation Societies . 2020,第期

机译：面向对象的事件图建模形式主义模拟行业制造系统4.0时代
3. UML statechart based rigorous modeling of real-time system [J] . LAI Ming-zhi, YOU Jin-yuan Journal of Harbin Institute of Technology . 2005,第1期

机译：基于UML状态图的实时系统的严格建模
4. A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism [C] . Hilal, R., Ladet, Petri Nets and Performance Models, 1993. Proceedings., 5th International Workshop on . 1993

机译：基于同步Petri网形式主义的反应性实时系统建模和编程辅助工具
5. An integrated modelling framework to simulate unsteady flow and reactive-transport for urban river-aquifer systems [D] . Costa, Diogo Andre Pinho da. 2015

机译：一个集成的建模框架，用于模拟城市河流含水层系统的非恒定流和反应输运
6. Simulating Dynamics of Circulation in the Awake State and Different Stages of Sleep Using Non-autonomous Mathematical Model With Time Delay [O] . Anatoly S. Karavaev, Yurii M. Ishbulatov, Mikhail D. Prokhorov, 2020

机译：用时间延迟使用非自主数学模型在睡眠状态下循环的动态和不同阶段的动态
7. Applying the Engineering Statechart Formalism to the evaluation of soft real-time in operating systems : a use case tailored modeling and analysis technique [O] . Koenen-Dresp Alexander 2008

机译：将工程状态图形式主义应用于操作系统中的软件实时评估：一种用例量身定制的建模和分析技术
8. Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary [R] . Fitzgerald, J. S., Bhattacharyya, A. 2008

机译：可靠实时系统动态重构建模与分析的形式化发展：技术日记

Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems

著录项

引文网络

相似文献

相关主题

期刊订阅