Automata; Control systems; Monitoring; Object oriented modeling; Runtime; Software systems; Time factors; control system; runtime verification; simulation; timed automata;
机译:网络 - 物理生产系统运行时验证框架的设计与实现
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:网络物理系统运行时验证的实时模拟支持
机译:控制系统仿真的运行时验证框架
机译:开发用于实时混合仿真的可靠框架:从动态系统,运动控制到实验误差验证。
机译:嵌入式实时系统的运行时验证
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具