机译:使用不精确的离散事件系统规格设计实时系统
Carleton Univ Dept Syst & Comp Engn Ottawa ON K1S 5B6 Canada;
Embry Riddle Aeronaut Univ ERAU NEAR Lab Daytona Beach FL USA;
机译:使用离散事件系统规范(DEVS)设计Modelica编译器
机译:具有下限规格的离散事件系统的容错控制
机译:具有下限规格的离散事件系统的容错控制
机译:在离散事件系统中的规范信息中:状态透明度,以清晰为有限自动机作为控制规范
机译:使用“规范和描述语言-实时”设计实时系统。
机译:用于实时膀胱压力监测的植入无线微型计系统设计与实现植入术:初步研究
机译:大型离散事件仿真的设计系统:FastTrans并行微型仿真器的经验
机译:在实时系统中利用不精确的结果