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;动物2;LOTOS公司;莫比乌斯;PDDL公司;支付;PROPhESY公司;风暴 引用于: 33文件 更多出版物: https://dependent.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 霍尼克,约琴 1 斯特凡·卡伦 1 马哈茂德·哈立德 1 里克·克拉伦 1 莱拉·克鲁尔 1 科伦,布拉姆 1 Marta Z.Kwiatkowska。 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 van Beek博士。 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) 按年份列出的引文