About this document
Uppaal: Real-Time System Verification by ruben16793570 is a document available to read on EtoBox.
- Author
- ruben16793570
- Language
- EN
About this book
The document summarizes several case studies modeling and verifying real-time systems using the Uppaal tool. It describes Fischer
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- en
- Availability
- Checking…