首页> 外文OA文献 >Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM

【2h】

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM

机译：使用VDm增量开发心脏起搏系统的实时模型

页面导航

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

著录项

作者
H. D. Macedo; P. G. Larsen; J. Fitzgerald; Hugo D. Macedo; Peter G. Larsen; John Fitzgerald; H. D. Mecedo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems [J] . Pop P., Eles P., Zebo Peng, IEEE transactions on very large scale integration (VLSI) systems . 2004,第8期

机译：用于分布式实时嵌入式系统的增量设计方法中的计划和映射
2. Service based meta-model for the development of distributed embedded real-time systems [J] . Muhammad Waqar Aziz, Radziah Mohamad, Dayang N.A. Jawawi, Real-time systems . 2013,第5期

机译：基于服务的元模型，用于分布式嵌入式实时系统的开发
3. Applying model-driven development to distributed real-time and embedded avionics systems [J] . Krishnakumar Balasubramanian, Arvind S. Krishna, Emre Turkay, International Journal of Embedded Systems . 2006,第3a4期

机译：将模型驱动的开发应用于分布式实时和嵌入式航空电子系统
4. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing SystemUsing VDM [C] . Hugo Daniel Macedo, Peter Gorm Larsen, John Fitzgerald FM 2008: Formal Methods . 2008

机译：使用VDM的心脏起搏系统分布式实时模型的增量开发
5. Object-based, distributed online real-time communication system modeling and development. [D] . Shao, Yongliang. 2000

机译：基于对象的分布式在线实时通信系统的建模与开发。
6. Setting the pace: Tbx3 and Tbx18 in cardiac conduction system development [O] . Elizabeth M. McNally, Eric C. Svensson -1

机译：设定步伐：Tbx3和Tbx18在心脏传导系统发育中的作用
7. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ [O] . Verhoef M., Larsen P.G., Hooman J.J.M. 2006

机译：使用VDM ++建模和验证分布式嵌入式实时系统
8. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM [R] . Macedo, H. D., Larsen, P. G., Fitzgerald, J. 2007

机译：使用VDm增量开发心脏起搏系统的实时模型

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM

著录项

引文网络

相似文献

相关主题

期刊订阅