Počet záznamů: 1

Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

SYSNO	0333922
Název	Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
Překlad názvu	Hledání chyb hybridních systémů pomocí optimalizace odhadu kvality podle abstrakce
Tvůrce(i)	Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID} Smaus, J.G. (DE)
Zdroj.dok.	Tests and Proofs. S. 153-168. - Berlin : Springer, 2009 / Dubois C.
Konference	TAP 2009. International Conference on Tests and Proofs /3./, Zurich, 02.07.2009-03.07.2009
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GC201/08/J020 GA ČR - Grantová agentura ČR
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	hybridní dynamické systémy * hledání chyb
Trvalý link	http://hdl.handle.net/11104/0178787

Počet záznamů: 1