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

Ratschan Stefan



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
Autor
lupa Ratschan Stefan UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Smaus J.G.
Zdroj.dok.
lupa Tests and Proofs. S. 153-168. - Berlin : Springer, 2009 / Dubois C.
Vyd.údaje
16 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
hybridní dynamické systémy * hledání chyb
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0178787