Formal Verification; Multitasking System; Statistical Model Checking;
机译:使用UPPAAL的系统的正式规范和验证:以防御型导弹系统为例
机译:控制系统软件的正式验证
机译:正式验证的软件对策,用于智能卡C代码的控制流完整性
机译:使用UPPAAL进行Lunar Rover控制软件的正式验证
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:网络物理系统中控制模块的正式验证
机译:使用实时模型检查器UPPAAL对电源控制器进行形式验证
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证