
International Journal of Critical Computer-Based Systems
2018 Vol.8 No.2
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 protocolAdmar 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 graphAbderraouf 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 arbiterImene 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-checkingAbderraouf Boussif; Mohamed Ghazel DOI: 10.1504/IJCCBS.2018.096192 |
214-229 | Using temporal logics for specifying weak memory consistency modelsMaximilian Senftleben; Klaus Schneider DOI: 10.1504/IJCCBS.2018.096187 |