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