首页> 外文OA文献 >Testing Deadlock-freeness in Real-time Systems; A Formal Approach

【2h】

Testing Deadlock-freeness in Real-time Systems; A Formal Approach

机译：None

页面导航

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

著录项

作者
Behzad Bordbar; Kozo Okano;
展开▼
作者单位

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

相似文献

外文文献
专利

1. A formal framework for black-box conformance testing of distributed real-time systems [J] . Moez Krichen International journal of critical computer-based systems . 2012,第1a2期

机译：分布式实时系统黑箱一致性测试的正式框架
2. An event-based approach for formally verifying runtime adaptive real-time systems [J] . Fredj Nissaf, Hadj Kacem Yessine, Abid Mohamed Journal of supercomputing . 2021,第3期

机译：一种基于事件的方法，用于正式验证运行时自适应实时系统
3. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models [J] . K. Benghazi Akhlaki, M.I. Capel Tunon, J.A. Holgado Terriza, Science of Computer Programming . 2007,第1期

机译：通过转换UML-RT设计模型对实时系统进行正式规范的方法学方法
4. Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach [C] . Behzad Bordbar, Kozo Okano International Workshop on Formal Approaches to Software Testing(FATES 2004) . 2005

机译：在实时系统中测试死锁 - Freeness：一种正式的方法
5. Automated test generation from formal specifications of real-time reactive systems. [D] . Zheng, Mao. 2002

机译：根据实时反应系统的正式规范自动生成测试。
6. Real-time PCR Machine System Modeling and a Systematic Approach for the Robust Design of a Real-time PCR-on-a-Chip System [O] . Da-Sheng Lee 2010

机译：实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
7. An Expressive and Implementable Formal Framework for Testing Real-Time Systems [O] . Moez Krichen, Stavros Tripakis 2005

机译：实时系统测试的一种表达和可实现的形式框架

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号