Ověřování splnění nejzazších termínů pomocí kontroly modelu
Autor práce
Jan Onderka
Vedúci práce
doc. Dipl.-Ing. Dr. techn. Stefan Ratschan