Práce na stejné téma (mají shodná klíčová slova):
temporalni logikaKlíčová slova abecedně | Klíčová slova dle četnosti
Robustness Analysis of Extended Signal Temporal Logic STL*
(Tomáš Vejpustek)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eflnx/ | Informatika / Teoretická informatika | Práce na příbuzné téma