Automatická konstrukce hlídacích obvodů založených na konečných automatech
![Automatická konstrukce hlídacích obvodů založených na konečných automatech](https://www.itspy.cz/wp-content/uploads/2022/08/acmspy2014_attachment_66.jpg)
Autor práce
Lucie Matušová
Vysoké učení technické v Brně, Fakulta informačních technologií
Vedoucí práce
Ing. Jan Kaštil