Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů
Incremental Binary-Decision-Diagram-Based Safety Verification
dc.contributor.advisor | Ratschan Stefan | |
dc.contributor.author | Hovorka Vojtěch | |
dc.date.accessioned | 2013-06-16T00:12:28Z | |
dc.date.available | 2013-06-16T00:12:28Z | |
dc.date.issued | 2013-06-16 | |
dc.date.submitted | 2013-06-16 02:00:04.0 | |
dc.identifier | KOS-427450368605 | |
dc.identifier.uri | http://hdl.handle.net/10467/16320 | |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one’s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | cze |
dc.title | Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů | |
dc.title | Incremental Binary-Decision-Diagram-Based Safety Verification | eng |
dc.type | diplomová práce | cze |
dc.date.updated | 2013-06-16T00:12:29Z | |
dc.date.accepted | 2013-06-12 08:45:00.0 | |
dc.contributor.referee | Kohlík Martin | |
dc.description.department | katedra číslicového návrhu | cze |
theses.degree.name | Ing. | cze |
theses.degree.discipline | Projektování číslicových systémů (magisterský) | cze |
theses.degree.grantor | Fakulta informačních technologií | cze |
theses.degree.programme | Informatika pro magisterské studenty | cze |
evskp.contact | ČVUT | cze |