California State University, Long Beach.;
机译:评估实时软件规范语言
机译:用于无缝实时软件开发的实时离散事件系统规范
机译:用于无缝实时软件开发的实时离散事件系统规范
机译:CASPER:嵌入式系统体系结构的硬实时,非周期性和周期性规范的并行软硬件协同合成
机译:使用“规范和描述语言-实时”设计实时系统。
机译:具有内部可变性,时空和交叉变量相关性的地球系统模型温度降水实现的联合仿真:fldgen v2.0软件说明
机译:使用UML 2.0从需求捕获和一致的需求规范中创建可执行代码,以进行实时汽车软件开发