Rochester Institute of Technology.;
机译:使用形式化模式验证和验证汽车控制软件的工具集
机译:支持系统开发的正式方法,统计调试和探索性分析:迈向验证和确认计算器工具
机译:用于安全关键型应用的运动控制角色重定位算法的形式验证和确认
机译:算法功能定理的基于测试的形式验证及其在软件验证中的应用
机译:开发用于计算质量流量模拟器Titan2D的正式验证数据库。
机译:神童一个计算机辅助的处方方案。明年秋天收到最终报告后将做出决定。
机译:分布式系统行为建模和基础设施运行的正式验证与有限状态自动机的组成方法:应用于查看水道中功能验证的应用