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ů.
Zdroj nalezených informací
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
Databáze
Soubor osobních jmen a jmen rodin (rodů)
Odkazy
(1) - Knihy
osoba
Počet záznamů: 1
openseadragon
Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom
jak používáme cookies.
