Počet záznamů: 1
Incremental Computation of Succinct Abstractions for Hybrid Systems
- 1.
SYSNO 0365291 Název Incremental Computation of Succinct Abstractions for Hybrid Systems Tvůrce(i) Dzetkulič, Tomáš (UIVT-O)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCIDZdroj.dok. Formal Modeling and Analysis of Timed Systems. S. 271-285. - Berlin : Springer, 2011 / Fahrenberg U. ; Tripakis s. Konference FORMATS 2011. International Conference on Formal Modeling and Analysis of Timed Systems /9./, Aalborg, 21.09.2011-23.09.2011 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GC201/08/J020 GA ČR - Grantová agentura ČR GD201/09/H057 GA ČR - Grantová agentura ČR OC10048 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. DE Klíč.slova abstraction * incremental refinement * hybrid system * safety property Trvalý link http://hdl.handle.net/11104/0200568 Název souboru Staženo Velikost Komentář Verze Přístup a0365291.pdf 0 225.7 KB Vydavatelský postprint vyžádat
Počet záznamů: 1