Symbolická verifikace (SMV-tool)

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/73884

Show full item record


Title: Symbolická verifikace (SMV-tool)
Author: Janoš, Zdeněk
Advisor: Jančar, Petr
Date issue: 2009
Type: Diplomová práce
Degree program: Informační a komunikační technologie
Degree branch: Informatika a výpočetní technika
Degree grantor: Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky
Location: ÚK/Sklad diplomových prací
Signature: 200904399
URI: http://hdl.handle.net/10084/73884

Files in this item

Files Size Format View
JAN789_FEI_N2647_2612T025_2009.pdf 629.5Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics