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: Modelling and Verification: Model Checking and Fault Tolerance: Part I

Guest Editors: Dr. Belgacem Ben Hedia and Prof. Kamel Barkaoui

Pages	Title and author(s)
108-140	Model-based specification and validation of the dual-mode adaptive MAC protocol Admar Ajith Kumar Somappa; Lars M. Kristensen; Andreas Prinz DOI: 10.1504/IJCCBS.2018.096190
141-168	Fault diagnosis of discrete-event systems based on the symbolic observation graph Abderraouf Boussif; Mohamed Ghazel; Kais Klai DOI: 10.1504/IJCCBS.2018.096178
169-192	A formal model for the analysis and verification of a pre-emptive round-robin arbiter Imene Ben Hafaiedh; Maroua Ben Slimane; Riadh Robbana DOI: 10.1504/IJCCBS.2018.096193
193-213	Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking Abderraouf Boussif; Mohamed Ghazel DOI: 10.1504/IJCCBS.2018.096192
214-229	Using temporal logics for specifying weak memory consistency models Maximilian Senftleben; Klaus Schneider DOI: 10.1504/IJCCBS.2018.096187