Počet záznamů: 1
Safety Verification for Probabilistic Hybrid Systems
- 1.
SYSNO 0351300 Název Safety Verification for Probabilistic Hybrid Systems Tvůrce(i) Zhang, L. (DK)
She, Z. (CN)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Hermanns, H. (DE)
Hahn, E.M. (DE)Zdroj.dok. CAV 2010. Computer Aided Verification. S. 196-211. - Berlin : Springer, 2010 / Touili T. ; Cook B. ; Jackson P. Konference CAV 2010. International conference on Computer Aided Verification /55./, Edinburgh, 15.07.2010-19.07.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 dynamical systems Trvalý link http://hdl.handle.net/11104/0191084 Název souboru Staženo Velikost Komentář Verze Přístup a0351300.pdf 0 315.5 KB Vydavatelský postprint vyžádat
Počet záznamů: 1