:facetid:toc:\“db/conf/ictac/ictac2012.bht\” 好 啊 :facetid:toc:db/conf/ictac/itac2012.bht S.Akshay 0001号布莱斯·基内斯特洛伊克·赫鲁特杨绍发时间约束MSC图中漂移的符号边界。ICTAC公司1-152012会议和研讨会文件关闭conf/ictac/AkshayGHY12公司10.1007/978-3-642-32943-2_1https://doi.org/10.1007/978-3642-32943-2_1https://dblp.org/rec/conf/ictac/AkshayGHY12 网址:4541624 尼古拉·贝内斯扬·克伦斯克模态过程重写系统。ICTAC公司120-1352012会议和研讨会文件关闭conf/itac/BenesK12公司10.1007/978-3-642-32943-2_9https://doi.org/10.1007/978-3642-32943-2_9https://dblp.org/rec/conf/ictac/BenesK12 网址:4541625 贝诺·特凯劳德Jean-Baptiste Raclet女士通过设计确保可达性。ICTAC公司213年至227年2012会议和研讨会文件关闭conf/ictac/CaillaudR1210.1007/978-3-642-32943-2_17https://doi.org/10.1007/978-3642-32943-2_17https://dblp.org/rec/conf/ictac/CaillaudR12 网址:4541626 乔德·克兰恩杰罗恩·J·A·凯伦蒂姆·A·C·威廉斯口吃平价游戏的治疗方法。ICTAC公司198-2122012会议和研讨会文件关闭conf/ictac/CranenKW1210.1007/978-3-642-32943-2_16https://doi.org/10.1007/978-3-642-32943-2_16https://dblp.org/rec/conf/ictac/CranenKW12 网址:4541627 Deepak D'Souza公司拉杰·莫汉·马特普拉克尔LTL的组合层次监控自动机构造。ICTAC公司16-292012会议和研讨会文件关闭conf/ictac/DSouzaM1210.1007/978-3-642-32943-2_2https://doi.org/10.1007/978-3642-32943-2_2https://dblp.org/rec/conf/ictac/DSouzaM12 网址:4541628 戴丽云碧灿霞简单线性循环的非终止集。ICTAC公司61-732012会议和研讨会文件关闭conf/ictac/DaiX1210.1007/978-3-642-32943-2_5https://doi.org/10.1007/978-3642-32943-2_5https://dblp.org/rec/conf/ictac/DaiX12 网址:4541629 西蒙·福斯特0001Ondrej Rypacek公司乔治·斯特鲁斯通过扩展类型推理实现面向对象模型的正确性。ICTAC公司46-602012会议和研讨会文件关闭conf/ictac/FosterRS1210.1007/978-3-642-32943-2_4https://doi.org/10.1007/978-3642-32943-2_4https://dblp.org/rec/conf/ictac/FosterRS12 网址:4541630 萨钦·洛达尼基尔·帕特沃德汉阿希姆·罗伊沙拉达·桑达拉姆迪利斯·托马斯使用MASKETEERTM的数据隐私。ICTAC公司151-1582012会议和研讨会文件关闭会议/ictac/LodhaPRST1210.1007/978-3-642-32943-2_11https://doi.org/10.1007/978-3642-32943-2_11https://dblp.org/rec/conf/ictac/LodhaPRST12 网址:4541631 费德里科·马里伊戈尔·梅拉蒂伊万诺·萨尔沃恩里科·特隆西离散时间线性混合系统量化状态反馈控制的不确定性。ICTAC公司243-2582012会议和研讨会文件关闭conf/ictac/MariMST1210.1007/978-3-642-32943-2_19https://doi.org/10.1007/978-3642-32943-2_19https://dblp.org/rec/conf/ictac/MariMST12 网址:4541632 杜利卡·尼科利奇福斯托·斯波托Java字节码的定义表达式别名分析。ICTAC公司74-892012会议和研讨会文件关闭conf/itac/NikolicS1210.1007/978-3-642-32943-2_6https://doi.org/10.1007/978-3642-32943-2_6https://dblp.org/rec/conf/ictac/NikolicS12 网址:4541633 西尔万·佩伦内特米歇尔·德·罗杰蒙特亚恩·斯特罗泽基近似验证和枚举问题。ICTAC公司228-2422012会议和研讨会文件关闭conf/ictac/PeyronnetRS1210.1007/978-3-642-32943-2_18https://doi.org/10.1007/978-3-642-32943-2_18https://dblp.org/rec/conf/ictac/PeyronnetRS12 网址:4541634 萨钦·拉维拉姆Prakash Mohan Peranandam公司Manoranjan Satpathy公司S.Ramesh 0002公司SmartTestGen+:增强结构覆盖的测试套件助推器。ICTAC公司164-167年2012会议和研讨会文件关闭conf/ictac/RaviramPSR1210.1007/978-3-642-32943-2_13https://doi.org/10.1007/978-3642-32943-2_13https://dblp.org/rec/conf/ictac/RaviramPSR12 网址:4541635 阿德里安·里斯科0001使用Maude中指定的语义生成测试用例。ICTAC公司90-1042012会议和研讨会文件关闭conf/ictac/Riesco1210.1007/978-3-642-32943-2_7https://doi.org/10.1007/978-3642-32943-2_7https://dblp.org/rec/conf/ictac/Riesco12 网址:4541636 阿德里安·里斯科0001胡安·罗德里格斯-霍塔拉S-建造系统缩小。ICTAC公司136-1502012会议和研讨会文件关闭conf/ictac/RiescoR12公司10.1007/978-3-642-32943-2_10https://doi.org/10.1007/978-3642-32943-2_10https://dblp.org/rec/conf/ictac/RiescoR12 网址:4541637 苏曼·罗伊0001西德哈特·比哈里Jose Alfonso Corso老挝一致性检查工具CSPConCheck。ICTAC公司159-1632012会议和研讨会文件关闭conf/ictac/RoyBL1210.1007/978-3-642-32943-2_12https://doi.org/10.1007/978-3642-32943-2_12https://dblp.org/rec/conf/ictac/RoyBL12 网址:4541638 利迪娅·桑切兹·吉尔梅赛德斯-伊达尔戈-赫雷罗尤兰达·奥尔特加购物中心用于懒惰计算的自然语义的局部无名表示。ICTAC公司105-1192012会议和研讨会文件关闭conf/itac/Sanchez-GilHO12会议10.1007/978-3-642-32943-2_8https://doi.org/10.1007/978-3642-32943-2_8https://dblp.org/rec/conf/ictac/Sanchez-GilHO12 网址:4541639 塞萨尔·桑切斯0001朱利安·桑博尔斯基·福尔斯如何将时序逻辑的有效扩展转换为交替自动机。ICTAC公司30-452012会议和研讨会文件关闭conf/ictac/SanchezS1210.1007/978-3-642-32943-2_3https://doi.org/10.1007/978-3642-32943-2_3https://dblp.org/rec/conf/ictac/SanchezS12 网址:4541640 大卫·M·威廉姆斯乔里·德鲁伊特万·J·福克金ProB中公平性下的模型检查及其在公平交换协议中的应用。ICTAC公司168-1822012会议和研讨会文件关闭conf/ictac/WilliamsRF1210.1007/978-3-642-32943-2_14https://doi.org/10.1007/978-3642-32943-2_14https://dblp.org/rec/conf/ictac/WilliamsRF12 网址:4541641 肯罗·亚塔克青木东崎基于环境建模的OSEK/VDX操作系统设计模型的模型检查。ICTAC公司183-1972012会议和研讨会文件关闭conf/ictac/YatakeA1210.1007/978-3-642-32943-2_15https://doi.org/10.1007/978-3642-32943-2_15https://dblp.org/rec/conf/ictac/YatakeA12 网址:4541642 阿比克·罗伊乔杜里Meenakshi D'Souza公司计算理论——2012年ICTAC第九届国际学术讨论会,印度班加罗尔,2012年9月24日至27日。诉讼程序ICTAC公司计算机科学课堂讲稿7521施普林格2012编辑conf/ictac/201210.1007/978-3-642-32943-2https://doi.org/10.1007/978-3642-32943-2https://dblp.org/rec/conf/ictac/2012 网址:4614832