机译:可修复和可重构系统安全分析模型的形式验证
机译:可修复和可重构系统安全分析模型的形式验证
机译:广义布尔逻辑驱动的马尔可夫过程:一个强大的建模框架,用于基于模型的动态可修复和可重构系统的安全性分析
机译:对可重构加工系统的逻辑控制器进行分析和设计的形式验证
机译:可修复和可重新配置系统安全分析模型的正式验证
机译:用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译:正式验证人类自动化交互作为系统模型的一部分:限制和权衡
机译:可修复和可重构系统安全分析模型的形式验证