MIO工作台 swMATH ID: 9762 软件作者: 塞巴斯蒂安·鲍尔。;菲利普·迈耶(Philip Mayer);Legay、Axel 描述: MIO workbench:一种用于组合设计的工具,具有模式输入/输出接口。模态输入/输出接口(MIO)是一种用于通过输入和输出进行通信的系统的新规范理论。该方法结合了模态自动机和接口自动机这两种主要的基于组件的设计规范理论的优点。本文介绍了MIO工作台,它是MIO理论的第一个完整实现。 主页: 网址:http://www.miowb.net/ 相关软件: 汽车;ECDAR公司;mCRL2型;MSTA公司;米卡牌手表;马戏团;CATLib公司;JML公司;酯类;github;CESAR公司;VMC公司;周六4j;找不同;莫德;CASL公司 引用于: 31文件 更多出版物: http://www.miowb.net/?page_id=42 全部的 前5名38位作者引用 11 罗尔夫·亨尼克 7 沃尔特·福格勒 6 杰拉尔德·吕特根 5 塞巴斯蒂安·鲍尔。 5 简·Křetínsk 5 Legay、Axel 4 芬德里奇、萨沙 4 金·古德斯特兰·拉森 三 尼古拉·贝内什 三 费伦茨,布托尔 三 贝诺·德拉哈耶 三 亚历山大·纳普 三 马丁·威尔辛 2 吉尔勒米纳·克莱杜 2 乌里·法伦贝格 2 何塞·普伦萨 2 所罗门·西克特 2 吉·斯尔巴 2 莫里斯·比克。 1 佛朗哥·巴巴内拉 1 米歇尔·比多特 1 乔塞普·卡莫纳 1 乌戈·德利古罗 1 多尔萨夫·埃尔霍格·本西纳 1 约翰内斯·加里斯 1 谢尔盖·哈达德 1 Juhl,Line公司 1 码头Kleijn 1 马耳他州洛豪 1 拉斯·鲁特曼 1 菲利普·迈耶 1 Paul莫尔 1 N.Tri Nguyen公司 1 艾琳·辛科 1 维塔利施耐德 1 安德烈亚斯·施罗德 1 路易斯·马里·特劳努埃兹 1 马赫萨·瓦尔肖萨兹 全部的 前5名6篇连载文章中引用 5 信息学报 5 理论计算机科学 2 信息与计算 2 程序设计中的逻辑和代数方法杂志 1 MSCS公司。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 在2个字段中引用 31 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 按年份列出的引文