Nicolas Navet

Books
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
2013