International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2018 Vol.8 No.1


Pages Title and author(s)
1-24µQC: a property-based testing framework for L4 microkernels
Cosmin Dragomir; Lucian Mogosanu; Mihai Carabas; Razvan Deaconescu; Nicolae Tapus
DOI: 10.1504/IJCCBS.2018.091826
25-44Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems
Samir Tigane; Laid Kahloul; Samir Bourekkache; Souheib Baarir
DOI: 10.1504/IJCCBS.2018.091837
45-77On context-independent and context-aware cloud services substitutability verification
Sofiane Bourouz; Nadia Zeghib
DOI: 10.1504/IJCCBS.2018.091839
78-103Diagnosability analysis and fault diagnosis of P-time labelled Petri nets
Patrice Bonhomme
DOI: 10.1504/IJCCBS.2018.091856