Journal cover image

Browse issues


Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

International Journal of Critical Computer-Based Systems

2012 Vol. 3 No. 1/2

Special Issue on Verification and Evaluation of Computer and Communication Systems Part II

Guest Editors: Kamel Barkaoui, Bruno Monsuez and Denis Poitrenaud

 

Editorial
PagesTitle and authors
4-25MDG-SAT: an automated methodology for efficient safety checking
Khaza Anuarul Hoque; Otmane Ait Mohamed; Sa'ed Abed; Mounir Boukadoum
DOI: 10.1504/IJCCBS.2012.045074

26-43A formal framework for black-box conformance testing of distributed real-time systems
Moez Krichen
DOI: 10.1504/IJCCBS.2012.045075

44-59Distributed model-checking and counterexample search for CTL logic
Mohand Cherif Boukala; Laure Petrucci
DOI: 10.1504/IJCCBS.2012.045076

60-95SystemC waiting state automata
Nesrine Harrath; Bruno Monsuez
DOI: 10.1504/IJCCBS.2012.045077

96-131Structured performance analysis for component-based systems
N. Salmi; Patrice Moreaux; Malika Ioualalen
DOI: 10.1504/IJCCBS.2012.045078

132-150Computing transitive closures of hedge transformations
Tayssir Touili
DOI: 10.1504/IJCCBS.2012.045079