Počet záznamů: 1
Safety Verification for Probabilistic Hybrid Systems
- 1.
SYSNO 0388817 Název Safety Verification for Probabilistic Hybrid Systems Tvůrce(i) Zhang, J. (DK)
She, Z. (CN)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Hermanns, H. (DE)
Hahn, E.M. (DE)Zdroj.dok. European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587 Druh dok. Článek v odborném periodiku Grant OC10048 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy GC201/08/J020 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. GB Klíč.slova model checking * hybrid systems * formal verification Trvalý link http://hdl.handle.net/11104/0217724
Počet záznamů: 1