Incremental Computation of Succinct Abstractions for Hybrid Systems

Dzetkulič Tomáš



Název
Incremental Computation of Succinct Abstractions for Hybrid Systems
Autor
lupa Dzetkulič Tomáš UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Ratschan Stefan UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa Formal Modeling and Analysis of Timed Systems. S. 271-285. - Berlin : Springer, 2011 / Fahrenberg U. ; Tripakis s.
Vyd.údaje
15 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
abstraction * incremental refinement * hybrid system * safety property
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0200568