Minimizable timed automata

被引：0
|
作者：
Springintveld, J.
Vaandrager, F.
机构：
来源：
Lecture Notes in Computer Science | / 1135卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Minimizable timed automata
    Springintveld, J
    Vaandrager, F
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 130 - 147
  • [2] Timed automata
    Alur, R
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 233 - 264
  • [3] A Compositional Translation of Timed Automata with Deadlines to UPPAAL Timed Automata
    Gomez, Rodolfo
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 179 - 194
  • [4] Timed unfoldings for networks of timed automata
    Bouyer, Patricia
    Haddad, Serge
    Reynier, Pierre-Alain
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 292 - 306
  • [5] Timed patterns: TCOZ to timed automata
    Dong, JS
    Hao, P
    Qin, SC
    Sun, J
    Yi, W
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 483 - 498
  • [6] On Implementable Timed Automata
    Feo-Arenis, Sergio
    Vujinovic, Milan
    Westphal, Bernd
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2020, 2020, 12136 : 78 - 95
  • [7] Axiomatising timed automata
    Huimin Lin
    Wang Yi
    Acta Informatica, 2002, 38 : 277 - 305
  • [8] Robust timed automata
    Gupta, V
    Henzinger, TA
    Jagadeesan, R
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 331 - 345
  • [9] Updatable timed automata
    Bouyer, P
    Dufourd, C
    Fleury, E
    Petit, A
    THEORETICAL COMPUTER SCIENCE, 2004, 321 (2-3) : 291 - 345
  • [10] On probabilistic timed automata
    Beauquier, D
    THEORETICAL COMPUTER SCIENCE, 2003, 292 (01) : 65 - 84
12345