Period of time: 2004年4期
Publisher: Springer Publishing Company
Founded in: 1997
Total resources: 18
ISSN: 1433-2779
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
International Journal on Software Tools for Technology Transfer,volume 6,issue 4
Menu
By Dwyer Matthew,Leue Stefan in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 4 , Vol. 6, Iss. 4, 2004-08 , pp.Heuristics for model checking Java programs
By Groce Alex,Visser Willem in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 4 , Vol. 6, Iss. 4, 2004-08 , pp.Partial-order reduction and trail improvement in directed model checking
By Edelkamp Stefan,Leue Stefan,Lluch-Lafuente Alberto in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 4 , Vol. 6, Iss. 4, 2004-08 , pp.Exploiting transition locality in automatic verification of finite-state concurrent systems
By Della Penna Giuseppe,Intrigila Benedetto,Melatti Igor,Tronci Enrico,Venturini Zilli Marisa in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 4 , Vol. 6, Iss. 4, 2004-08 , pp.