搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2010 阿南达·巴苏 , 萨德克·本萨勒姆 , 马吕斯·博兹加 , 贝诺·特凯劳德 , 贝诺·特·德拉哈耶 , Axel Legay公司 :
大型异构系统的统计抽象和模型检验。 FMOODS/FORTE公司 2010 : 32-46 劳拉·博奇 , 埃米利奥·托斯托 :
在SOC中测试基于属性的事务。 FMOODS/FORTE公司 2010 : 87-94 佩特博科 , 马尔科·塞拉菲尼 , 内拉杰·苏里 :
消息传递分布式协议模型检查的有效模型。 FMOODS/FORTE公司 2010 : 216-223 阿图尔·博罗纳特 , 罗伯托·布鲁尼 , 阿尔贝托·卢奇·拉富恩特 , 乌戈·蒙塔纳里 , 杰内罗索·保利略 :
开发基于规则的决策规划规范的层次结构。 FMOODS/FORTE公司 2010 : 2-16 雷布 , 亚历山德罗·西马蒂 , 李宣东 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
基于浅层同步的混合系统模型检验。 FMOODS/FORTE公司 2010 : 155-169 F.哈维尔·克雷斯波 , 阿尔贝托·德拉·恩西纳 , 路易斯·拉纳 :
模糊时间自动机。 FMOODS/FORTE公司 2010 : 140-154 伊格纳西奥·法布雷加斯 , 大卫·德·弗鲁托斯·埃斯克里格 , 米盖尔·帕洛米诺 :
逆向仿真逻辑。 FMOODS/FORTE公司 2010 : 224-231 彼得罗·费拉拉 :
通过抽象解释进行模式匹配的静态类型分析。 FMOODS/FORTE公司 2010 : 186-200 罗伯特·海伦斯 , 曼努埃尔·努涅斯 :
测试概率分布式系统。 FMOODS/FORTE公司 2010 : 63-77 杰拉德·J·霍尔兹曼 :
正式软件验证:我们有多接近? FMOODS/FORTE公司 2010 : 1 法特梅赫·卡泽梅尼 , 艾纳·布罗赫·约翰森 , 奥拉夫猫头鹰 , 伊兰科·巴拉辛厄姆 :
利用联合博弈理论对无线传感器网络中的节点进行分组。 FMOODS/FORTE公司 2010 : 95-109 弗兰克·亚历山大·克莱默 , 彼得·赫尔曼 :
分布式UML活动的反应语义。 FMOODS/FORTE公司 2010 : 17-31 彼得·塞巴·奥尔夫茨基 , 阿图尔·博罗纳特 , 何塞·梅塞盖尔 :
实时建模中行为AADL模型的形式语义和分析。 FMOODS/FORTE公司 2010 : 47-62 胡安·何塞·帕尔多 , 曼努埃尔·努涅斯 , 卡门·鲁伊斯先生 :
使用UIOLTS描述的电子商务代理的规范和测试。 FMOODS/FORTE公司 2010 : 78-86 永裕白茅 :
即时跟踪生成和文本跟踪分析及其在密码协议分析中的应用。 FMOODS/FORTE公司 2010 : 201-215 埃内斯托·波塞 , 尤尔根·丁格尔 :
实时扩展的理论与实现 圆周率 -微积分。 FMOODS/FORTE公司 2010 : 125-139 简·斯曼斯 , 雅各布施 , 弗兰克·皮森斯 :
分离逻辑中的堆相关表达式。 FMOODS/FORTE公司 2010 : 170-185 安东·维斯 :
忘记时间进程代数中的时间。 FMOODS/FORTE公司 2010 : 110-124 约翰·哈特克利夫 , 埃琳娜·祖卡 :
分布式系统的形式技术,第12届IFIP WG 6.1国际联合会议,FMOODS 2010和第30届IFIP工作组6.1国际会议,FORTE 2010,荷兰阿姆斯特丹,2010年6月7日至9日。 诉讼程序。 计算机科学课堂讲稿 6117, 施普林格 2010 ,国际标准图书编号 978-3-642-13463-0 [目录]
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)