ENDIF Università di Ferrara Via Saragat 1 44100 Ferrara Italy (mbonfe@ing.unife.it);
机译:使用定时条件/事件系统模型验证连续工厂的逻辑控制器
机译:可编程逻辑控制器驱动的物料搬运系统的安全验证―考虑工厂的物理行为―
机译:建模可编程逻辑控制器以进行逻辑验证
机译:物理系统逻辑控制器的统一建模与验证
机译:用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译:多种出血的自动闭环复苏:绵羊模型中的模糊逻辑和决策表控制器之间的比较
机译:使用定时条件/事件系统模型验证连续工厂的逻辑控制器
机译:modelplex:已验证的网络物理系统模型的运行时验证。