电动机 swMATH ID: 2988 软件作者： Joost-Pieter Katoen；Henrik Bohnenkamp；Ric Klaren；霍尔格·赫尔曼斯 描述： MoTor代表MoDeST工具环境。MoTor旨在提供分析和评估MoDeST规范的方法。MoDeST是我们最近开发的一种规范语言。它提供了广泛的建模概念，具有严格的过程代数式语义，还提供了现代灵活的规范构造。 主页： http://fmt.cs.utwente.nl/tools/motor网站/ 编程语言： 无 操作系统： 无 依赖项： 无 关键词： MOTOR嵌入式软件分析 相关软件： Uppaal公司;MoDeST公司;如果2.0;克洛诺斯;自旋蛋白;上CORA;锋利的;ANTLR公司;莫比乌斯;CADP公司;Uppaal2k公司;GreatSPN 1.7;PVS公司;高超声速;电子唱片;卢斯特;埃斯特雷尔;SCADE公司 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 MOTOR嵌入式软件分析。 Zbl 1105.68335号Joost-Pieter卡托恩;亨利克·博恩坎普;里克·克拉伦;霍尔格·赫尔曼斯 2004 全部的 前5名10位作者引用 2 鲁道夫·戈麦斯 1 亨利克·博恩坎普（Henrik C.Bohnenkamp）。 1 马蒂恩·亨德里克斯 1 霍尔格·赫尔曼斯 1 Joost-Pieter卡托恩 1 里克·克拉伦 1 米尔科·洛吉 1 蒂齐亚娜·玛格丽亚 1 格拉齐亚诺·普拉瓦德利 1 伯恩哈德·斯特芬 2篇连载文章中引用 1 国际并行程序设计杂志 1 计算的形式方面 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文