Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions
Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions
复制标题
基于细化和抽象的分布式自适应实时系统的模块化设计与验证
DOI：
10.4108/sas.1.1.e5
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Björn Bartels
中科院分区：
文献类型：
--
作者：
Thomas Göthel;Verena Klös;Björn Bartels
登录
查看更多内容
对 AMBA AHB 协议的 SystemC/TLM 设计进行模型检查
DOI：
--
发表时间：
2011
期刊：
2011 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia
影响因子：
--
作者：
Marcel Pockrandt;Paula Herber;S. Glesner
通讯作者：
S. Glesner
ECDAR：实时系统的组合设计和分析环境
DOI：
10.1007/978-3-642-15643-4_29
发表时间：
2010
期刊：
2010 Seventh International Conference on the Quantitative Evaluation of Systems
影响因子：
--
作者：
Alexandre David;K. Larsen;Axel Legay;Ulrik Nyman;A. Wąsowski
通讯作者：
A. Wąsowski
模型检查硬件/软件协同设计的内存相关属性
DOI：
10.1007/978-3-642-38853-8_9
发表时间：
2013
期刊：
2018 19th International Symposium on Quality Electronic Design (ISQED)
影响因子：
--
作者：
Marcel Pockrandt;Paula Herber;V. Klös;S. Glesner
通讯作者：
S. Glesner
数据独立性的语义研究及其在模型检查中的应用
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
R. Lazic
通讯作者：
R. Lazic
从基于模型的设计到自适应嵌入式系统的形式验证
影响因子：
7.4
作者：
R. Adler;Ina Schaefer;T. Schüle;Eric Vecchié
通讯作者：
Eric Vecchié