Period of time： 2004年2期
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 2
Menu
Guest editors’ introduction: Advancements and extensions of verification techniques
By Katoen Joost-Pieter,Stevens Perdita in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 2 , Vol. 6, Iss. 2, 2004-08 , pp.
Access to resources
Recommend
Fate and free will in error traces
By Jin HoonSang,Ravi Kavita,Somenzi Fabio in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 2 , Vol. 6, Iss. 2, 2004-08 , pp.Exploring very large state spaces using genetic algorithms
By Godefroid Patrice,Khurshid Sarfraz in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 2 , Vol. 6, Iss. 2, 2004-08 , pp.Probabilistic symbolic model checking with PRISM: a hybrid approach
By Kwiatkowska Marta,Norman Gethin,Parker David in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 2 , Vol. 6, Iss. 2, 2004-08 , pp.CLPS–B – A constraint solver to animate a B specification
By Bouquet Fabrice,Legeard Bruno,Peureux Fabien in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 2 , Vol. 6, Iss. 2, 2004-08 , pp.Efficient monitoring of safety properties
By Havelund Klaus,Roşu Grigore in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 2 , Vol. 6, Iss. 2, 2004-08 , pp.Test sequence generation and model checking using dynamic transition relations
By Campos Sérgio,Grumberg Orna,Yorav Karen,Fady Copty in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 2 , Vol. 6, Iss. 2, 2004-08 , pp.