Fakulta informačních technologií VUT v Brně

Ing.

Marek Gach

Životopis

Odborná orientace

Verifikace systémů pracujících s reálným časem, formalismy popisu RT systémů, časované automaty.
Nahoru