Meetings; Program verification(Computers); Proving; Controllers; Electronic control; Control systems design; Real time operation; Systems engineering; Protocol(Computers);
机译:使用实时模型检查器UPPAAL对故障树进行系统评估
机译:使用UPPAAL和Simulink / Stateflow对实时发布和订阅协议进行建模和验证
机译:一系列DRAM缓存的控制器的正式建模和验证
机译:铁路时刻表的正式验证-使用UPPAAL模型检查器
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:基于斐波那契搜索算法的无人飞行器控制器实时无模型最小寻优自整定方法
机译:使用实时模型检查器UPPAAL对电源控制器进行形式验证