International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers - linking academia, business and industry through research

International Journal of Critical Computer-Based Systems

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

Guest Editors: Kamel Barkaoui, Bruno Monsuez and Denis Poitrenaud

Pages	Title and author(s)
4-25	MDG-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-43	A formal framework for black-box conformance testing of distributed real-time systems Moez Krichen DOI: 10.1504/IJCCBS.2012.045075
44-59	Distributed model-checking and counterexample search for CTL logic Mohand Cherif Boukala; Laure Petrucci DOI: 10.1504/IJCCBS.2012.045076
60-95	SystemC waiting state automata Nesrine Harrath; Bruno Monsuez DOI: 10.1504/IJCCBS.2012.045077
96-131	Structured performance analysis for component-based systems N. Salmi; Patrice Moreaux; Malika Ioualalen DOI: 10.1504/IJCCBS.2012.045078
132-150	Computing transitive closures of hedge transformations Tayssir Touili DOI: 10.1504/IJCCBS.2012.045079