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 5,issue 4
Menu
By Iyer S. Purushothaman,Hislop David,Jones Paul L.,Lee Jaime,Pearce Frederick,Van Albert Stephen in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 4 , Vol. 5, Iss. 4, 2004-05 , pp.By Alur Rajeev,Arney David,Gunter Elsa L.,Lee Insup,Lee Jaime,Nam Wonhong,Pearce Frederick,Van Albert Steve,Zhou Jiaxiang in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 4 , Vol. 5, Iss. 4, 2004-05 , pp.A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm
By Jetley Raoul Praful,Carlos Cohan,Iyer S. Purushothaman in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 4 , Vol. 5, Iss. 4, 2004-05 , pp.Formally specifying CARA in Java
International Journal on Software Tools for Technology Transfer,volume 5,issue 4 , Vol. 5, Iss. 4, 2004-05 , pp.Unit verification: the CARA experience
By Ray Arnab,Cleaveland Rance in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 4 , Vol. 5, Iss. 4, 2004-05 , pp.Requirements-document-based prototyping of CARA software
By ,Guan Z.,Berzins V.,Zhang L.,Floodeen D.,Coskun V.,Puett J.,Brown M. in (2004)
International Journal on Software Tools for Technology Transfer,volume 5,issue 4 , Vol. 5, Iss. 4, 2004-05 , pp.