Publisher： Springer Publishing Company
Founded in： 1997
Total resources： 18
E-ISSN： 1433-2787
ISSN： 1433-2779
Subject： TP3 Computers
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
Menu
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 , Vol. 16, Iss. 2, 2014-04 , pp.
Access to resources
Recommend
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 , Vol. 16, Iss. 2, 2014-04 , pp.Developments in automated verification techniques
By Flanagan Cormac,König Barbara in (2014)
International Journal on Software Tools for Technology Transfer , 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 , Vol. 16, Iss. 2, 2014-04 , pp.Bounded phase analysis of message-passing programs
By Bouajjani Ahmed,Emmi Michael in (2014)
International Journal on Software Tools for Technology Transfer , Vol. 16, Iss. 2, 2014-04 , pp.Exploiting resolution proofs to speed up LTL vacuity detection for BMC
By Simmonds Jocelyn,Davies Jessica,Gurfinkel Arie,Chechik Marsha in (2010)
International Journal on Software Tools for Technology Transfer , Vol. 12, Iss. 5, 2010-09 , pp.Data-abstraction refinement: a game semantic approach
By Bakewell Adam,Dimovski Aleksandar,Ghica Dan,Lazić Ranko in (2010)
International Journal on Software Tools for Technology Transfer , Vol. 12, Iss. 5, 2010-09 , pp.Synthesis and stochastic assessment of cost-optimal schedules
By Mader Angelika,Bohnenkamp Henrik,Usenko Yaroslav,Jansen David,Hurink Johann,Hermanns Holger in (2010)
International Journal on Software Tools for Technology Transfer , Vol. 12, Iss. 5, 2010-09 , pp.Data decision diagrams for Promela systems analysis
By Beaudenon Vincent,Encrenaz Emmanuelle,Taktak Sami in (2010)
International Journal on Software Tools for Technology Transfer , Vol. 12, Iss. 5, 2010-09 , pp.MontiCore: a framework for compositional development of domain specific languages
By Krahn Holger,Rumpe Bernhard,Völkel Steven in (2010)
International Journal on Software Tools for Technology Transfer , Vol. 12, Iss. 5, 2010-09 , pp.
Previous
Next