...
机译:柔性制造系统的自动形式验证
Formal methods; Formal verification; Bounded model checking;
机译:柔性制造系统的自动形式验证
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:在柔性制造系统中建模由柔性自动导引车组成的分布式运输系统
机译:灵活制造系统的自动正式验证
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:网络物理系统中控制模块的正式验证
机译:适用于柔性制造系统的半正式和形式模型⋆
机译:用自动推理系统对数字系统属性的形式验证