Práce na příbuzné téma (mají shodná klíčová slova):
abstraction refinementKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Control Strategy Synthesis for Path Planning under Temporal Constraints | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Control Strategy Synthesis for Path Planning under Temporal Constraints | Práce na příbuzné téma
