- Diagnosability analysis and fault diagnosis of P-time labelled Petri nets
- On context-independent and context-aware cloud services substitutability verification
- Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems
- µQC: a property-based testing framework for L4 microkernels
4 April 2019
Free sample articles newly available from International Journal of Critical Computer-Based Systems
The following sample articles from the International Journal of Critical Computer-Based Systems are now available here for free:
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment