Sample issue

You can read all of these full-text articles free of charge - click Free access

International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems


Title Author(s) Vol. and Issue nos. Page nos. Full-text article
Diagnosability analysis and fault diagnosis of P-time labelled Petri netsPatrice BonhommeVol.8 No.178-103Free access
On context-independent and context-aware cloud services substitutability verificationSofiane Bourouz; Nadia ZeghibVol.8 No.145-77Free access
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systemsSamir Tigane; Laid Kahloul; Samir Bourekkache; Souheib BaarirVol.8 No.125-44Free access
µQC: a property-based testing framework for L4 microkernelsCosmin Dragomir; Lucian Mogosanu; Mihai Carabas; Razvan Deaconescu; Nicolae TapusVol.8 No.11-24Free access