- Model-based specification and validation of the dual-mode adaptive MAC protocol
- Fault diagnosis of discrete-event systems based on the symbolic observation graph
- A formal model for the analysis and verification of a pre-emptive round-robin arbiter
- Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking
- Using temporal logics for specifying weak memory consistency models
16 November 2018
Special issue published: "Modelling and Verification: Model Checking and Fault Tolerance: Part I"
International Journal of Critical Computer-Based Systems 8(2) 2018
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment