Department of Computing Science, University of Oldenburg, Germany;
机译:实时系统:正式规范和自动验证
机译:用于移动和无处不在系统的实时嵌入式软件的自动综合和验证
机译:自动验证具有离散概率分布的实时系统
机译:自动验证具有丰富数据的实时系统:概述
机译:应用的实时集成分布式控制系统:行业概述和已实施的实验室案例研究。
机译:迁移检查工具:在治疗管理系统升级和数据库迁移之后自动进行计划验证
机译:使用丰富数据自动验证实时系统:概述
机译:实时专家系统自动验证工具