Show simple item record

Efficient Collection of Statistics for Embedded Software Verification



dc.contributor.advisorLažanský Jiří
dc.contributor.authorBáča David
dc.date.accessioned2012-10-12T00:01:31Z
dc.date.available2012-10-12T00:01:31Z
dc.date.issued2012-10-12
dc.date.submitted2012-10-12 02:00:02.0
dc.identifierKOS-126529396204
dc.identifier.urihttp://hdl.handle.net/10467/13543
dc.publisherČeské vysoké učení technické v Praze. Vypočetní a informační centrum.cze
dc.rightsA 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.pdfeng
dc.rightsVysokoš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.pdfcze
dc.titleEfektivní sběr statistik pro verifikaci Embedded Software
dc.titleEfficient Collection of Statistics for Embedded Software Verificationeng
dc.typedisertační prácecze
dc.date.updated2012-10-12T00:01:31Z
dc.date.accepted2012-05-29 00:00:00.0
dc.description.departmentkatedra kybernetikycze
theses.degree.namePh.D.cze
theses.degree.disciplineUmělá inteligence a biokybernetikacze
theses.degree.grantorFakulta elektrotechnickácze
theses.degree.programmeElektrotechnika a informatikacze
evskp.contactČVUTcze


Files in this item


This item appears in the following Collection(s)

Show simple item record