首页> 外文OA文献 >Model-checking of component-based event-driven real-time embedded software

【2h】

Model-checking of component-based event-driven real-time embedded software

机译：基于组件的事件驱动的实时嵌入式软件的模型检查

页面导航

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

著录项

作者
Zonghua Gu; Kang G. Shin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A component-based process with separation of concerns for the development of embedded real-time software systems [J] . Marco Panunzio, Tullio Vardanega The Journal of Systems and Software . 2014,第octa期

机译：基于组件的过程，分离关注嵌入式实时软件系统的开发
2. Enabling Component-Based Design for Embedded Real-Time Software [J] . Jimmie Wiklander, Jens Eliasson, Andrey Kruglyak, Journal of Computers . 2009,第12期

机译：启用基于组件的嵌入式实时软件的设计
3. Component-Based Performance-Sensitive Real-Time Embedded Software [J] . Lingfeng Wang IEEE Aerospace and Electronic Systems Magazine . 2008,第1期

机译：基于组件的性能敏感型实时嵌入式软件
4. Model-checking of component-based event-driven real-time embedded software [C] . Gu, Z., Shin, . 2005

机译：基于组件的事件驱动实时嵌入式软件的模型检查
5. QoSPL: A Quality of Service-driven Software Product Line Engineering framework for design and analysis of component-based distributed real-time and embedded systems [D] . Liu, Shih-Hsi 2007

机译：QoSPL：服务质量驱动的软件产品线工程框架，用于设计和分析基于组件的分布式实时和嵌入式系统
6. A Software Tool for Editing and Executing Knowledge Component-based Clinical Guidelines [O] . Hemant Shah, George R. Thoma 2002

机译：用于编辑和执行基于知识组件的临床指南的软件工具
7. Model-checking Middleware-based Event-driven Real-time Embedded Software [O] . William Deng, Matthew B. Dwyer, John Hatcliff, 2003

机译：模型检查基于中间件的事件驱动的实时嵌入式软件
8. Model-Checking of Component-Based Event-Driven Real-Time Embedded Software [R] . Gu, Z. , Shin, K. G. 2005

机译：基于组件的事件驱动的实时嵌入式软件的模型检查

Model-checking of component-based event-driven real-time embedded software

著录项

引文网络

相似文献

相关主题

期刊订阅