Košík

  Odznačit vybrané:   0
  1. 1.def.record 'I2_TF_SHORT' not found in 'CavUnTablesd'
    2.
    0388817 - ÚI 2013 RIV GB eng J - Článek v odborném periodiku
    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
    Grant CEP: GA MŠMT OC10048; GA ČR GC201/08/J020
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: model checking * hybrid systems * formal verification
    Kód oboru RIV: IN - Informatika
    Impakt faktor: 1.250, rok: 2012
    Trvalý link: http://hdl.handle.net/11104/0217724
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše