Period of time： 2014年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 16,issue 2
Menu
Developments in automated verification techniques
By Flanagan Cormac,König Barbara in (2014)
International Journal on Software Tools for Technology Transfer,volume 16,issue 2 , Vol. 16, Iss. 2, 2014-04 , pp.
Access to resources
Recommend
Bounded phase analysis of message-passing programs
By Bouajjani Ahmed,Emmi Michael in (2014)
International Journal on Software Tools for Technology Transfer,volume 16,issue 2 , Vol. 16, Iss. 2, 2014-04 , pp.Pushdown model checking for malware detection
By Song Fu,Touili Tayssir in (2014)
International Journal on Software Tools for Technology Transfer,volume 16,issue 2 , Vol. 16, Iss. 2, 2014-04 , pp.A bit too precise? Verification of quantized digital filters
By Cox Arlen,Sankaranarayanan Sriram,Chang Bor-Yuh in (2014)
International Journal on Software Tools for Technology Transfer,volume 16,issue 2 , Vol. 16, Iss. 2, 2014-04 , pp.Closed-loop verification of medical devices with model abstraction and refinement
By Jiang Zhihao,Pajic Miroslav,Alur Rajeev,Mangharam Rahul in (2014)
International Journal on Software Tools for Technology Transfer,volume 16,issue 2 , Vol. 16, Iss. 2, 2014-04 , pp.