Selected Problems from the Area of Formal Verification
Title alternative
Selected Problems from the Area of Formal Verification
Advisor
Date
2009Type
Disertační práce
Location
ÚK/Sklad diplomových prací
Signature
201000377
Metadata
Show full item record
Degree program
Informační technologie
Degree branch
Informatika a aplikovaná matematika
Degree grantor
Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky
Description
Import 07/02/2010