Titlebook: Model Checking Software; 9th International SP Dragan Bo?na?ki,Stefan Leue Conference proceedings 2002 Springer-Verlag Berlin Heidelberg 200

非決定性

書目名稱Model Checking Software影響因子(影響力)




書目名稱Model Checking Software影響因子(影響力)學(xué)科排名




書目名稱Model Checking Software網(wǎng)絡(luò)公開度




書目名稱Model Checking Software網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Model Checking Software被引頻次




書目名稱Model Checking Software被引頻次學(xué)科排名




書目名稱Model Checking Software年度引用




書目名稱Model Checking Software年度引用學(xué)科排名




書目名稱Model Checking Software讀者反饋




書目名稱Model Checking Software讀者反饋學(xué)科排名

Hemiplegia

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/635721.jpg

ineluctable

Mercurial

978-3-540-43477-1Springer-Verlag Berlin Heidelberg 2002

恫嚇

Model Checking Software978-3-540-46017-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

祖?zhèn)?/a>

0302-9743 hecking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr′ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (

排他

Conference proceedings 2002veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr′ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe?rstSPINwo

依法逮捕

0302-9743 ences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag’s “Lecture Notes in Computer Science” series. The history of successful SPIN workshops is evidence for 978-3-540-43477-1978-3-540-46017-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

Halfhearted

Conference proceedings 2002has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag’s “Lecture Notes in Computer Science” series. The history of successful SPIN workshops is evidence for

決定性