...
机译:系统检查看似完整的系统
机译:系统检查看似完整的系统
机译:模型检查智能航空电子系统,用于使用多功能机构生成测试用例
机译:特色过渡系统:验证可变性密集系统的基础及其在LTL模型检查中的应用
机译:似乎无关的干预措施:工作场所中的环境管理系统,用于家里的节能行为
机译:列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
机译:物理模型检查以检测电力系统中与开关相关的攻击
机译:通过使用初级和二次检查系统,癌症化疗的计算机化处方检查系统的引入改善化疗处方安全性 -