JPAX公司

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018) Swords,Cameron;Sabry,Amr;Tobin Hochstadt,Sam:作为沟通模式的合同监控策略的扩展说明(2018) 杨凯;段振华;田聪;张楠:MSVL编译器及其应用(2018) Natarajan,Aravind;Chauhan,Himanshu;Mittal,Neeraj;Garg,Vijay K.:谓词检测的高效抽象算法(2017) Reinbacher,Thomas;Függer,Matthias;Brauer,Jörg:嵌入式实时系统的运行时验证(2014) Bonakdarpour,Borzoo;Navabbour,Samaneh;Fischmeister,Sebastian:时间触发运行时验证(2013) Sapozhnikov,A.:正常程序行为模型构建的自动化(2012) Jones,Kevin D.;Konrad,Victor;Ničković,Dejan:模拟属性检查器:DDR2案例研究(2010) Leuker,Martin;Schallhart,Christian:运行时验证简介(2009) Liang,Hui;Dong,Jin Song;Sun,Jing;Wong,W.Eric:通过正式规范动画实现软件监控(2009) ioport公司 Fraser,Gordon;Wotawa,Franz:使用模型检验器生成和分析属性相关的测试用例。 (2008年) ioport公司 Möller,Michael;Olderog,Ernst-Rüdiger;Rasch,Holger;Wehrheim,Heike:用UML和Java将形式化方法集成到软件工程过程中(2008) Elbaum,Sebastian;Kanduri,Satya;Andrews,Anneliese:作为场失效前兆的痕量异常:一项实证研究(2007) ioport公司 Markey,Nicolas;Schnoebelen,Philippe:Mu演算路径检查(2006) Sen,Koushik;Roşu,Grigore;Agha,Gul:多线程程序的在线有效预测安全性分析(2006) ioport公司 阿瑟,西里尔;巴林格,霍华德;戈德伯格,艾伦;哈夫伦德,克劳斯;胡尔希德,萨夫拉兹;劳里,迈克;帕萨雷努,科里纳;罗şu,格里戈;森,库什克;维瑟,威廉;华盛顿,里奇:结合测试用例生成和运行时验证(2005) Arts,Thomas;Claessen,Koen;Svensson,Hans:Erlang容错领导人选举协议的半形式化开发(2005) 陈峰;罗şu,Grigore:javamop:Java面向监控的编程环境(2005) Giannakopoulou,Dimitra;Păsăreanu,Corina s.;Barringer,Howard:自动生成假设的组件验证(2005) ioport公司 Godefrod,Patrice:软件模型检查:veriSoft方法(2005) ioport公司