Event-B modeling; Formal method; PLC system;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:具有事件B的时间受限ARQ协议的形式化建模和验证
机译:基于事件-B基于云综合服务验证方法
机译:基于事件-B的PLC系统建模与验证研究
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:基于现场的干燥剂系统验证和建模可替代传统的湿市场空调系统
机译:基于事件-B的PLC系统建模与验证研究