Electronics and Computer Science, University of Southampton, SO17 1BJ, UKc;
Event-B; formal modelling and analysis; model animation; proof; simulation; wireless sensor network;
机译:WSN的高效节能分组协议的形式化建模和验证
机译:基于仿真的CPS形式化建模的系统方法系统
机译:基于仿真的CPS形式化建模的系统方法系统
机译:通过正式建模和分析将值添加到WSN仿真
机译:用于理解和管理大型设计和建设项目中非增值活动的混合仿真模型。
机译:在验证性因子分析中添加均值结构时恢复弱因子载荷的仿真研究
机译:基于证据的WsN开发形式化方法与仿真方法