Period of time： 2004年2-3期
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 5,issue 2-3
Menu
Access to resources
Recommend
Lightweight coarse-grained coordination: a scalable system-level approach
By Margaria Tiziana,Steffen Bernhard in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.Validation and automatic test generation on UML models: the AGATHA approach
By Lugato David,Bigot Céline,Valot Yannick,Gallois Jean-Pierre,Gérard Sébastien,Terrier François in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.Model-based testing for real: The inhouse card case study
By Pretschner A.,Slotosch O.,Aiglstorfer E.,Kriebel S. in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.Counter-example generation in symbolic abstract model-checking
By Pace Gordon,Halbwachs Nicolas,Raymond Pascal in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.αSPIN: A tool for abstract model checking
By del Mar Gallardo María,Martínez Jesús,Merino Pedro,Pimentel Ernesto in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.Efficient reduction of finite state model checking to reachability analysis
By Schuppan Viktor,Biere Armin in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.Development of a verified Erlang program for resource locking
By Arts Thomas,Benac Earle Clara,Derrick John in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM
By Daws Conrado,Kwiatkowska Marta,Norman Gethin in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.Properties of two’s complement floating point notations
By Boldo Sylvie,Daumas Marc in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 2-3 , Vol. 5, Iss. 2-3, 2004-03 , pp.
Previous
Next