首页> 外文OA文献 >Scenario-Based Analysis and Synthesis of Real-Time Systems Using Uppaal

【2h】

Scenario-Based Analysis and Synthesis of Real-Time Systems Using Uppaal

机译：基于方案的Uppaal实时系统分析与综合

页面导航

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

著录项

作者
Kim G. Larsen; Shuhao Li; Brian Nielsen; Saulius Pusinskas;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Scenario-based verification of real-time systems using Uppaal [J] . Shuhao Li, Sandie Balaguer, Alexandra David, Formal Methods in System Design . 2010,第2a3期

机译：使用Uppaal进行基于场景的实时系统验证
2. Scenario-based requirements analysis techniques for real-time software systems: a comparative evaluation [J] . Saiedian H, Kumarakulasingam P, Anan M Requirements Engineering . 2005,第1期

机译：实时软件系统基于场景的需求分析技术：比较评估
3. Some Algorithms for Analysis and Synthesis of Real-Time Multiprocessor Computing Systems [J] . M. G. Furugyan Programming and Computer Software . 2014,第1期

机译：实时多处理器计算系统分析和综合的一些算法
4. Scenario-based analysis and synthesis of real-time systems using uppaal [C] . Larsen, K.G., Shuhao Li, Nielsen, B., Design, Automation & Test in Europe Conference & Exhibition;DATE 10 . 2010

机译：使用uppaal进行基于场景的实时系统分析和综合
5. Scenario-based requirement analysis modeling and design evaluation for real-time reactive systems. [D] . Shen, Jian. 2004

机译：基于方案的实时反应系统的需求分析建模和设计评估。
6. National regional and global levels and trends in neonatal mortality between 1990 and 2017 with scenario-based projections to 2030: a systematic analysis [O] . Lucia Hug, Monica Alexander, Danzhen You, -1

机译：1990年至2017年间国家地区和全球新生儿死亡率水平和趋势以及基于情景的2030年预测：系统分析
7. Analysis and Synthesis of Distributed Real-Time Embedded Systems [O] . Pop Paul, Eles Petru, Peng Zebo 2004

机译：分布式实时嵌入式系统的分析与综合

Scenario-Based Analysis and Synthesis of Real-Time Systems Using Uppaal

著录项

引文网络

相似文献

相关主题

期刊订阅