首页> 外文OA文献 >Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models

【2h】

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models

机译：通过转换UML-RT设计模型对实时系统进行形式化规范

页面导航

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

著录项

作者
K. Benghazi Akhlaki; M. I. Capel Tuñon; J. A. Holgado Terriza; L. E. Mendoza Morales;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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设计模型对实时系统进行正式规范的方法学方法
2. System modeling and transformational design refinement in ForSyDe [formal system design] [J] . Sander I., Jantsch A. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2004,第1期

机译：ForSyDe中的系统建模和转换设计改进[正规系统设计]
3. Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification [J] . Felix C. G?rtner Journal of Universal Computer Science . 1999,第10期

机译：容错系统规范和验证的转换方法：正式背景和分类
4. Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models [C] . K. Benghazi Akhlaki, M. I. Capel Tunon, J. A. Holgado Terriza, International Conference on Enterprise Information Systems . 2006

机译：通过UML-RT设计模型转换的正式规范
5. Formal specification of real-time systems based on extensions of the abstract data type model [D] . Garrido, Jose Miguel 1996

机译：基于抽象数据类型模型扩展的实时系统的正式规范
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. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models [O] . Benghazi Akhlaki K., Capel Tuñón M.I., Holgado Terriza J.A., 2007

机译：通过转换UML-RT设计模型来对实时系统进行正式规范的方法学方法

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models

著录项

引文网络

相似文献

相关主题

期刊订阅