首页> 外文OA文献 >Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD

【2h】

Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD

机译：HRT-HOOD中面向对象的实时系统的事务规范

页面导航

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

著录项

作者
Pete Cornwell; Andy Wellings;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Life-cycle of a dual object-oriented specification model for real-time systems [J] . M.A. Bruno, P. Nesi Information and Software Technology . 1999,第1期

机译：实时系统的双重面向对象规范模型的生命周期
2. A Transaction Processing Technique in Real-Time Object-Oriented Databases [J] . Woochun Jun International journal of computer science and network security . 2008,第1期

机译：实时面向对象数据库中的事务处理技术
3. Specification and automated verification of atomic concurrent real-time transactions [J] . Cai Simin, Gallina Barbara, Nystrom Dag, Software and systems modeling . 2021,第2期

机译：规范和自动验证原子并发实时交易
4. Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD [C] . Pete Cornwell, Andy Wellings International Eurospace-Ada-Europe Symposium . 1996

机译：HRT-罩面向对象实时系统的事务规范
5. Implementing real-time reactive systems from object-oriented design specifications. [D] . Zhang, Li Zhong. 2000

机译：根据面向对象的设计规范实施实时反应系统。
6. Hypermedia and Educational Systems. Systems for Enhancing Medical Education: PSYCHE: An Object-Oriented Approach to Simulating Medical Education [O] . Jamie A. Mullen 1990

机译：超媒体和教育系统。加强医学教育的系统：PSYCHE：一种面向对象的医学教育模拟方法
7. Object-Oriented Specification and Design of Embedded Hard Real-Time Systems [O] . Wolfgang Nebel, Guido Schumacher, Laïla Kabous Martin Radetzki 2014

机译：面向对象的嵌入式硬实时系统规范与设计
8. Integrated Information Support System (IISS). Volume 6. Network Transaction Manager Subsystem. Part 6. Network Transaction Manager (NTM) Message Processing Unit Product Specification. [R] . Barker, S. 1990

机译：综合信息支持系统（IIss）。第6卷。网络事务管理器子系统。第6部分。网络事务管理器（NTm）消息处理单元产品规范。

Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD

著录项

引文网络

相似文献

相关主题

期刊订阅