Period of time： 2004年1期
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 1
Menu
Preface by the section editors
By Zuck Lenore,Attie Paul,Cortesi Agostino in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 1 , Vol. 6, Iss. 1, 2004-07 , pp.
Access to resources
Recommend
Behavior-based model construction
By Hungar Hardi,Steffen Bernhard in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 1 , Vol. 6, Iss. 1, 2004-07 , pp.A logical encoding of the π-calculus: model checking mobile processes using tabled resolution
By Yang Ping,Ramakrishnan C.R.,Smolka Scott A. in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 1 , Vol. 6, Iss. 1, 2004-07 , pp.Using simulated execution in verifying distributed algorithms
By Win Toh Ne,Ernst Michael D.,Garland Stephen J.,Kırlı Dilsun,Lynch Nancy A. in (2004)
International Journal on Software Tools for Technology Transfer,volume 6,issue 1 , Vol. 6, Iss. 1, 2004-07 , pp.