Výsledky vyhledávání

  1. 1.
    0351300 - ÚI 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Zhang, L. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
    Safety Verification for Probabilistic Hybrid Systems.
    CAV 2010. Computer Aided Verification. Berlin: Springer, 2010 - (Touili, T.; Cook, B.; Jackson, P.), s. 196-211. Lecture Notes in Computer Science, 6174. ISBN 978-3-642-14294-9. ISSN 0302-9743.
    [CAV 2010. International conference on Computer Aided Verification /55./. Edinburgh (GB), 15.07.2010-19.07.2010]
    Grant CEP: GA ČR GC201/08/J020
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: verification * hybrid dynamical systems
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0191084
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0351300.pdf0315.5 KBVydavatelský postprintvyžádat
     
     
  2. 2.
    0328328 - ÚI 2010 KR eng C - Konferenční příspěvek (zahraniční konf.)
    Ratschan, Stefan - She, Z.
    Constraint Based Verification of Hybrid Systems.
    ASCM 2005. Seoul: Korea Institute for Advanced Study, 2005 - (Pae, S.; Park, H.), s. 66-68
    [ASCM 2005. Seoul (KR), 08.12.2005-10.12.2005]
    Trvalý link: http://hdl.handle.net/11104/0174665
     
     
  3. 3.
    0314335 - ÚI 2009 RIV PT eng C - Konferenční příspěvek (zahraniční konf.)
    Ratschan, Stefan - She, Z.
    Recursive and Backward Reasoning in the Verification of Hybrid Systems.
    [Rekurzivní a zpáteční dedukce ve verifikaci hybridních systémů.]
    Proceedings of the Fifth International Conference on Information in Control, Automation and Robotics. Setúbal: INSTICC, 2008, s. 65-71. ISBN 978-989-8111-30-2.
    [ICINCO 2008. International Conference on Information in Control, Automation and Robotics /5./. Funchal (PT), 11.05.2008-15.05.2008]
    Grant CEP: GA ČR GC201/08/J020
    Grant ostatní: National Key Basic Research Program(CN) 2005CB321902; Program for Excellent Tallents of Beijing(CN) 20071D1600600410
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: hybrid systems * verification * constraint propagation
    Kód oboru RIV: JC - Počítačový hardware a software
    Trvalý link: http://hdl.handle.net/11104/0164877
     
     


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