机译:用于无缝实时软件开发的实时离散事件系统规范
Discrete event system specification; Executability; Formal methods; Real-time software; Requirements; Model;
机译:用于无缝实时软件开发的实时离散事件系统规范
机译:DECM,面向用户的形式化,用于实时系统的高级离散事件规范
机译:具有实时灵活性的智能工厂基于配置空间的离散事件系统规范形式
机译:离散事件系统规范形式的介绍及其在数字物理系统建模与仿真中的应用
机译:用于基于智能实时监控代理的软件系统的规范,分析和设计的体系结构框架。
机译:使用HRPF的激光蛋白质氧化系统实时自由基剂量表和数据处理软件的实时自由基剂量计和数据处理软件
机译:概率模型检查:离散和实时系统的形式主义和算法