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

2014 Vol. 5 No. 1/2

Special Issue on Verification, Control and Performance Analysis: Part I

Guest Editors: Professor Nihal Pekergin and Dr. Tayssir Touili

 

Editorial
PagesTitle and authors
4-30A formal framework to specify and verify real-time properties on critical systems
Nouha Abid; Silvano Dal Zilio; Didier Le Botlan
DOI: 10.1504/IJCCBS.2014.059593

31-54LTL translation improvements in Spot 1.0
Alexandre Duret-Lutz
DOI: 10.1504/IJCCBS.2014.059594

55-77On combining the ready sets with the covering steps methods
Hanifa Boucheneb; Kamel Barkaoui
DOI: 10.1504/IJCCBS.2014.059591

78-102Verifying while loops with invariant relations
Asma Louhichi; Wided Ghardallou; Khaled Bsaies; Lamia Labed Jilani; Olfa Mraihi; Ali Mili
DOI: 10.1504/IJCCBS.2014.059596

103-126A RT-Maude-based framework for component installation
Meriem Belguidoum; Faiza Belala; Fateh Latreche
DOI: 10.1504/IJCCBS.2014.059590

127-147Managing energy in a network of reconfigurable optical add/drop multiplexers
Jean-Michel Fourneau; Nora Izri; Dominique Verchère
DOI: 10.1504/IJCCBS.2014.059595

148-168Strong and weak stochastic bounds for multidimensional Markov chains
Hind Castel-Taleb; Nihal Pekergin
DOI: 10.1504/IJCCBS.2014.059592