机译:Moby / RT:实时系统规格和验证工具
机译:ASADAL / PROVER:用于验证Statechart中实时系统规范的时间特性的工具集
机译:用于验证实时分布式系统的组合工具集
机译:MOBY / DC―用于模型检查参数实时规格的工具
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:科学示范文摘。演示摘要:集成式健康中心信息系统:BioSYNTHESIS演示一个用于多个数据库的系统集成工具
机译:mOBY / DC - 用于模型检查参数实时规范的工具