Safe Systems; Real Time Systems; Plant Models; Formal Verification;
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:基于Petri网进行视频游戏建模和验证的正式方法
机译:流程挖掘正式业务流程建模和验证方法:案例研究
机译:一种新的植物建模方法,用于正式验证目的
机译:基于组件的方法来验证和确认正式软件模型。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:用于正式验证目的的新工厂建模方法