...
机译:离散事件系统规范模型验证的原理
School of Computer Science, 5302 Herzberg Building,1125 Colonel By Drive, Ottawa, Ontario KIS 5B6, Canada;
Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada;
Discrete Event System Specification; model checking; Rational Time-Advance Discrete Event System Specification; realtime systems; timed automata;
机译:使用本地规范对离散事件系统进行模块化诊断的验证
机译:将经典的离散事件系统规范模型转换为规范和描述语言
机译:离散事件系统规范形式主义介绍及其在造型和模拟网络物理系统的应用
机译:摘要海报摘要:基于离散事件系统规范的工程网络 - 物理系统建模,仿真和验证环境
机译:交互的离散事件系统:建模,验证和监督控制。
机译:离散和离散异质随机介质电磁散射的第一性原理建模
机译:定时条件/事件系统:化工厂模块化离散模型及其实时离散控制验证的框架
机译:基于离散事件系统规范的量子密钥分布仿真框架概念建模。