...
机译:用于建模和验证Simulink图的正式框架
Computer Science, School of Computing, National University of Singapore, 21 Lower Kent Ridge Road,Singapore 119077, Singapore;
Computer Science, School of Computing, National University of Singapore, 21 Lower Kent Ridge Road,Singapore 119077, Singapore;
Computer Science, School of Computing, National University of Singapore, 21 Lower Kent Ridge Road,Singapore 119077, Singapore;
simulink; real-time specification; Z language; formal verification;
机译:Stateflow图的正式建模和验证
机译:用于验证由定时过渡图建模的实时离散事件控制需求的正式透明框架
机译:用于建模和验证基于事件的软件架构的正式框架
机译:Simulink /状态流程图的形式验证
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:用于建模和验证Simulink图的正式框架