位置：成果数据库 > 期刊 > 期刊详情页
Validating Object-oriented Prototype of Real-Time systems with Timed Automata
  • 期刊名称：Proceedings of 13(th)IEEE
  • 时间：0
  • 页码：2002,pp99-106
  • 语言：英文
  • 相关项目：实时系统开发方法和算法研究
作者： Guoqiang Shu Chao Li Qing Wang Mingshu Li|
同期刊论文项目
实时系统开发方法和算法研究
期刊论文 32 会议论文 18 著作 21
同项目期刊论文
Some Design Issues on the Real-Time Operating System for Paralel High Resolution and Real-Time Imagi
A Rule-Based Real-Time AI Problem Solving Mechanism
Web-based Device Construction and Conflguration
User-Driven Domain-Specific Software Requirenents Analysis
Object-Oriented Requirement Modeling Based on UML
Real-time Communication Mechanism for Distribted Objects in the MCPU-DFO Model for Internet Enterpri
Study on B/S Structured SCM Based on ISO9000 and CMM
基于ISO9000和CMM的软件配置管理系统的研究
现代质量管理理论在软件组织的应用
A Fast Word Segmentation Method With The Advance For Overlappin Ambiguity Sovlving
企业级工控实时数据库研究与实现
实时系统开发方法研究
A Risk Driven Design Model for Embedded System
A Software Factory Model Based on ISO9000 and CMM and its Supporting Platform
流程工业CIMS中的实时数据库技术
Enterprise Modeling on Internet
Software Process Imptovement and its Practice based on ISO9000 and CMM
Developing a New Dynamic Scheduling Algorithm for Real-time Heterogeneous Systems
Integrated Dynamic Scheduling for Hard and Soft Real-time Tasks in Heterogeneous Systems
A New Methodology for User-Driver Domain Specific Apecific Application Software Development
虚拟硬件方法实现基于Intel Strong ARM SA-1110平台的 Linux APM
On Constructing a cooperative Paradigm
实时异构系统的调度算法研究
软件质量管理中的统计过程控制
基于ISO9000和CMM的软件过程改进体系
基于ISO9000和CMM的软件质量管理系统的研究
基于ISO9000和IMM的需求开发和需求管理平台框架的研究
Linux内核的实时支持的研究与实现
基于ISO9001和CMM的软件需求管理的研究
一种新的实时多处理器系统的动态调度算法