Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy disertační práce - Bližňák, Michal, 1977- (Disertace (PhD.)–Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky, 2007, 2007)
Studijní obor Technická kybernetika