Period of time： 2013年1-2期
Publisher： Inderscience Publishers
Founded in： 2010
Total resources： 5
ISSN： 1757-8779
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 of Critical Computer-Based Systems,volume 3,issue 1-2
Menu
MDG-SAT: an automated methodology for efficient safety checking
By Hoque Khaza Anuarul in (2012)
International Journal of Critical Computer-Based Systems,volume 3,issue 1-2 , Vol. 3, Iss. 1-2, 2012-01 , pp.
Access to resources
Recommend
Distributed model-checking and counterexample search for CTL logic
By Boukala Mohand Cherif in (2012)
International Journal of Critical Computer-Based Systems,volume 3,issue 1-2 , Vol. 3, Iss. 1-2, 2012-01 , pp.SystemC waiting state automata
International Journal of Critical Computer-Based Systems,volume 3,issue 1-2 , Vol. 3, Iss. 1-2, 2012-01 , pp.Structured performance analysis for component-based systems
International Journal of Critical Computer-Based Systems,volume 3,issue 1-2 , Vol. 3, Iss. 1-2, 2012-01 , pp.Computing transitive closures of hedge transformations
International Journal of Critical Computer-Based Systems,volume 3,issue 1-2 , Vol. 3, Iss. 1-2, 2012-01 , pp.