Narozen v roce 1973. Informatik. Odborník v oblasti počítačových sítí, přenosu hlasu přes IP, formální specifikace a verifikace časovaných systémů.
Source data found
Matoušek, P.: Symbolic data structures for parametric verification (autoritní forma) ; www(Fakulta informačních technologií, Vysoké učení technické v Brně), cit. 16. 5. 2013
Database
File of personal names and family names
References
(1) - Books
Number of the records: 1
openseadragon
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.