位置：成果数据库 > 会议 > 会议详情页
Validating Object-Oriented Prototype of Real-Time systems with Timed Automata
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：Proc. of 13th IEEE International Workshop on Rapid System Prototyping(RSP’2002
  • 语言：英文
  • 成果类型：会议
  • 相关项目：实时系统开发方法和算法研究
作者： Guoqiang Shu|Chao Li|Qing Wang|Mingshu Li|
同会议论文项目
实时系统开发方法和算法研究
期刊论文 32 会议论文 18 著作 21
同项目会议论文
Object-Oriented Requirement Modeling Based on UML
A Software Factory Model Based on ISO9000 and CMM and its Supporting Platform
Developing a New Dynamic Scheduling Algorithm for Real-time Heterogeneous Systems
开放式实时系统的理论与方法分析
Some Design Issues on the Real-Time Operating System for Parallel, High Resolution, and Real-Time Im
A Rule-Based Real-Time AI Problem Solving Mechanism
User-Driven Domain-Specific Software Requirements Analysis
A Risk Driven Design Model for Embedded System
Real-time Communication Mechanism for Distributed Objects in the MCPU-DFO Model for Internet Enterpr
Enterprise Modeling on Internet
Software Process Improvement and its Practice based on ISO9000 and CMM
Study on B/S Structured SCM Based on ISO9000 and CMM
A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations
A New Dynamic Scheduling Algorithm for Real-Time Multi-processor Systems
A UML Extension of Distributed System
A Fast Word Segmentation Method With the Advance for Overlapping Ambiguity Solving
针对Internet 的一个UML扩展方案