托勒密

此软件的关键字
zbMATH中的参考文献(参考文献 80篇文章 )
徐、熊; 王淑玲; 詹伯华; 晋、湘玉; 塔尔平,让·皮埃尔; 詹乃军:AADL与simulink/stateflow相结合的网络物理系统统一图形化协同建模、分析与验证(2022) 巴拉诺夫,爱德华德; Bliudze,Simon:基于组件的框架的表现力:BIP表达能力的研究(2020) 菲亚迪罗,何塞; 洛佩斯,安托尼亚; 德拉哈耶,贝诺; Legay,Axel:异构时间机器的动态网络(2018) 塞希亚,桑吉特A。; 莎莉吉娜,娜塔莎; Tripakis,Stavros:验证建模(2018) 阿默尔·鲍利法,右。; 亨利奥,L。; 奥兰基纳。; 马德兰,E。; Savu,A.:异步组件的行为语义(2017) 阿尔伯特,本维尼斯特; 伯克,提摩太; 凯劳德,贝诺伊特; 帕加诺,布鲁诺; Pouzet,Marc:混合系统建模者中基于类型的因果循环分析(2017) 陈明帅; 拉文,安德斯P。; 王淑玲; 杨孟飞; 詹乃军:嵌入式系统正式与非正式设计的双向路径(2017) 阿蒂,保罗; 巴拉诺夫,爱德华德; 傻了,西蒙; 贾比尔,穆罕默德; Sifakis,Joseph:体系结构可组合性的一般框架(2016) 巴拉诺夫,爱德华德; Bliudze,Simon:BIP的表现力注释(2016) 米诺波利,斯特凡诺; Frehse,Goran:从仿真模型到使用紧急和松弛的混合自动机(2016) 斯法基斯,约瑟夫; 本撒伦,萨德克; 傻了,西蒙; Bozga,Marius:基于组件的设计理论议程(2015) 德拉哈耶,贝诺; 菲亚迪罗,何塞·路易斯; 勒盖,阿克塞尔; Lopes,Antónia:异构定时机器(2014) Lee,Edward A.:建设性碰撞(2014) 洛佐亚,卡米洛; 马蒂,保罗; 贝拉斯科,马内尔; 富尔特斯,约瑟普·M。; Martin,Enrix X.:实时嵌入式控制系统中的资源和性能权衡(2014) ioport公司 米诺波利,斯特凡诺; Frehse,Goran:线性混合自动机的非凸不变量和紧急条件(2014) 埃伊西,埃米卡; 张振凯; 库特苏科斯,色诺丰; 波特,约瑟夫; 卡赛,加博; Sztipanovits,Janos:基于模型的控制设计和网络物理系统的集成:自适应巡航控制案例研究(2013) 林,喜; 张和华; 顾明:OntCheck:本体驱动的组件模型静态正确性检查工具(2013) 梅斯盖尔,何塞; Roşu,Grigore:重写逻辑语义项目:进度报告(2013) 米洛,让·费雯; de Simone,Robert:在处理器阵列上实现元胞自动机的显式路由方案(2013) 特里帕基斯,斯塔夫罗斯; 斯特吉奥,克里斯托斯; 剃须刀,克里斯; Lee,Edward A.:托勒密的模块形式语义学(2013)