Počet záznamů: 1
Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable
- 1.
SYSNO 0344069 Název Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable Tvůrce(i) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID Zdroj.dok. Theory and Applications of Models of Computation. S. 397-408. - Berlin : Springer, 2010 / Kratochvíl J. ; Li A. ; Fiala J. ; Kolman P. Konference TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./, Prague,, 07.06.2010-11.06.2010 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 verification * hybrid systems * decidebility Trvalý link http://hdl.handle.net/11104/0186379 Název souboru Staženo Velikost Komentář Verze Přístup a0344069.pdf 0 198.7 KB Vydavatelský postprint vyžádat
Počet záznamů: 1