多时性 swMATH ID: 12302 软件作者: INRIA公司;Talpin,J.-P.、Le Guernic,P.、Shukla,S.K.、Gupta,R.K.、Doucet,F。 描述: IRISA设计了多时工具集、信号语言和SME环境,作为ESPRESSO项目(2000-2012年)及其学术或工业合作伙伴研究活动的技术演示。它由INRIA项目团队TEA在Polarsys工业工作组的平台上发布和维护,即POP项目(PolarsysPolychrony)。Polychrony是一个集成的开发环境和技术演示器。它提供了一个统一的模型驱动环境,通过使用从规范到实现以及从同步到异步的设计模型转换正式支持的自顶向下和自下而上设计方法,来执行嵌入式系统设计探索。 主页: http://www.irisa.fr/espresso/polychrony/ 相关软件: 酯类;卢斯特;托勒密;信号;联合;电子LOTOS;玻璃钢;AADL公司;LNT2LOTOS公司;CADP公司;自旋蛋白;石英;波利斯;糠;皮纳帕;系统C;LusSy公司;掠夺;B4免费;通用电气公司 引用于: 11文件 更多出版物: http://www.irisa.fr/espresso/polychrony/publications.php 全部的 前5名29位作者引用 6 Jean-Pierre塔宾 4 保罗·勒格尔尼克 三 Shukla、Sandeep Kumar 2 卢卡·卡洛尼(Luca P.Carloni)。 2 蒂埃里·戈蒂埃 2 拉杰什·库马尔·古普塔 2 Alberto L.Sangiovanni-Vincentelli。 1 弗朗西斯科·西维尔·巴博特 1 阿尔伯特·本文尼斯特 1 米奎尔·伯特兰 1 洛依茨贝斯纳德 1 詹斯·勃兰特 1 克里斯蒂安·布鲁内特 1 贝诺·凯劳德 1 保罗·卡斯皮 1 气候,八月 1 乔迪·科尔塔德拉 1 弗雷德里克·多塞特 1 阿卜杜拉耶·加马蒂 1 Mike Gemünde 1 法塔玛·杰巴利 1 亚历克斯·孔德拉提耶夫 1 弗雷德里克·朗 1 卢西亚诺·拉瓦尼奥 1 拉杜·马特埃斯库 1 尤伊,朱利安 1 皮特斯(Ad M.G.Peeters)。 1 克劳斯·施耐德 1 亚历山大·托宾。 全部的 前5名7篇连载文章中引用 2 系统设计中的形式化方法 1 计算机程序设计科学 1 国际并行程序设计杂志 1 计算的形式方面 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 电子设计自动化的基础与发展趋势 在2个字段中引用 11 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 按年份列出的引文