Deadline Verification Using Model Checking

Deadline Verification Using Model Checking

Author

Jan Onderka
Czech Technical University in Prague, Faculty of Information Technology

Supervisor

doc. Dipl.-Ing. Dr. techn. Stefan Ratschan

About the project

Year

2020

Share