MoDeST公司 swMATH ID: 1544 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 描述： MoDeST-随机时间系统的建模和描述语言。本文提出了一种建模语言MoDeST，用于描述离散事件系统的行为。该语言将传统的编程结构（如迭代、替代、原子语句和异常处理）与以组合方式描述复杂系统的方法相结合。此外，MoDeST采用了一些方法来描述重要现象，如非确定性、概率分支、硬实时和软实时（即随机）方面。该语言受到流行且用户友好的规范语言（如Promela）的影响，并以轻量级的进程代数风格处理组合。因此，MoDeST（i）涵盖了非常广泛的建模概念，（ii）具有严格的过程代数式语义，（iii）还提供了现代灵活的规范结构 主页： http://depend.cs.uni-sb.de/index.php？id=278 相关软件： 棱镜；Uppaal公司；高超声速；IF-2.0型；电动机；珍妮；电子LOTOS；CADP公司；克洛诺斯；github；通过；PHAVer公司；斯托克Hy；FAUST2型；LOTOS公司；莫比乌斯；PDDL公司；支付；PROPhESY公司；暴风雨 引用于： 33文件 更多出版物： https://depend.cs.uni-sb.de/publications/index.php 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 MoDeST-随机时间系统的建模和描述语言。 Zbl 1007.68518号佩德罗·R·达吉尼奥。；霍尔格·赫尔曼斯；Joost-Pieter卡托恩；里克·克拉伦 2001 全部的 前5名69位作者引用 6 佩德罗·鲁宾·达吉尼奥 6 Joost-Pieter卡托恩 4 埃里克·P·德文克。 4 霍尔格·赫尔曼斯 4 贾森·马尔科夫斯基 2 拉杰夫·阿鲁尔 2 米哈伊尔·伯纳德斯基 2 鲁道夫·戈麦斯 2 阿恩·哈特曼斯 1 亚历山德罗·阿巴特 1 Jos C.M.Baeten。 1 克里斯特尔·拜尔 1 马可·贝尔纳多 1 帕特里夏·鲍耶 1 马里奥·布雷韦蒂 1 托马斯·布里海耶 1 蔡白根 1 皮埃尔·卡利埃 1 纳塔利·考奇 1 Pieter J.L.Cuijpers。 1 卢卡·德·阿尔法罗 1 约翰·费伯 1 阿诺德·菲埃茨克 1 Forejt，Vojtěch公司 1 高春海 1 休伯特·加拉维 1 比尼亚姆·盖布雷迈克尔 1 霍尔格·吉斯 1 恩斯特·莫里茨·哈恩 1 简·希尔斯顿 1 Jochen Hoenicke公司 1 斯特凡·卡伦 1 马哈茂德·哈立德 1 里克·克拉伦 1 莱拉·克鲁尔 1 科伦，布拉姆 1 Kwiatkowska，Marta Z。 1 迭戈·拉特拉 1 阿波法兹·拉瓦伊 1 约翰内斯·莱曼 1 梅克·马西克 1 奥尔勒·马特森 1 玛丽亚·马克西莫娃 1 昆廷·梅内特 1 罗兰·迈耶 1 Nadales Agut，D.E。 1 格钦·诺曼 1 马蒂亚斯·尼贝格 1 皮尔奇，卡琳娜 1 安妮·雷姆克 1 雅各布斯·E·罗达。 1 安德烈·里巴尔琴科 1 佩德罗·桑切斯·特拉夫 1 斯文·施奈德 1 斯特凡·舒普 1 Raman Sharykin女士 1 萨代赫·苏贾尼 1 拼写，Jip 1 杰里米·斯普洛斯顿 1 玛丽·斯托琳加 1 唐涛 1 马克·蒂默 1 范·比克，D.A。 1 范德波尔，扬·科内利斯 1 克里斯托夫·韦登巴赫 1 托拜厄斯·温克勒 1 尼科拉斯·沃尔维克 1 徐天华 1 马吉德·扎马尼 全部的 前5名9连载 4 计算的形式方面 2 系统设计中的形式化方法 1 理论计算机科学 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 中国科学。E系列 1 计算机基础理论 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 32 计算机科学（68至XX） 三 系统论；控制（93至XX） 2 数理逻辑与基础（03-XX） 2 运筹学、数学规划（90-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文