Basket

0388817 - ÚI 2013 RIV GB eng J - Journal Article
Zhang, J. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587. ISSN 0947-3580. E-ISSN 1435-5671
R&D Projects: GA MŠMT OC10048; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : model checking * hybrid systems * formal verification
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.250, year: 2012
Permanent Link: http://hdl.handle.net/11104/0217724