电动机 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公司；高超声速；电子LOTOS；卢斯特；酯类；SCADE公司 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用MOTOR进行嵌入式软件分析。 兹比尔1105.68335Joost-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） 按年份列出的引文