Real time systems; Model checking; Timed automata; CAN bus; MAC;
机译:如何验证安全的实时系统:模型检查和定时自动机在生产单元案例研究中的应用
机译:关于验证概率实时系统自动机规格的说明
机译:使用混合自动机规范实时软件并验证其可调度性
机译:通过定时自动机验证CAN总线的实时属性
机译:开发用于实时混合仿真的可靠框架:从动态系统,运动控制到实验误差验证。
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:基于通信定时自动机的实时多任务应用属性的时态验证