Práce na stejné téma (mají shodná klíčová slova):
deterministic timed automataKlíčová slova abecedně | Klíčová slova dle četnosti
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
(Jan Krčál)2013, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zefvh/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Formal Analysis of Stochastic Discrete Event Systems
(Jan Krčál)2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/x990g/ | Informatika / | Práce na příbuzné téma