Suggested Topics within your search.
Showing 1 - 20 results of 55 for search '"Timed-automata"', query time: 1.50s Refine Results
  1. 1
    Verification of Stochastic Timed Automata
    by Carlier, Pierre
    Published 2017
    Subjects: “...Timed automata...”
    Get full text
  2. 2
    Analysis of ATO System Operation Scenarios Based on UPPAAL and the Operational Design Domain
    by Zicong Meng, Tao Tang, Guodong Wei, Lei Yuan
    Published 2021-02-01
    Subjects: “...timed automata...”
    Get full text
    Article
  3. 3
    Formal Verification of Adaptive Real-Time Systems by Extending Task Automata
    by Hatvani, Leo
    Published 2014
    Subjects: “...timed automata...”
    Get full text
    Get full text
    Others
  4. 4
    Probability timed automata for investigating communication processes
    by Piech Henryk, Grodzki Grzegorz
    Published 2015-06-01
    Subjects: “...probabilistic timed automata...”
    Get full text
    Article
  5. 5
    Latency Evaluation of SDFGs on Heterogeneous Processors Using Timed Automata
    Subjects: “...timed automata...”
    Get full text
    Article
  6. 6
    Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification
    Subjects: “...timed automata...”
    Get full text
    Article
  7. 7
    A method for reliability detection of automated guided vehicle based on timed automata
    Subjects: “...timed automata...”
    Get full text
    Article
  8. 8
    Timed Concurrent State Machines
    by Wiktor B. Daszczuk
    Published 2007-01-01
    Subjects: “...formal methods; model checking; real time verification; timed automata...”
    Get full text
    Article
  9. 9
    Enabling Tool Support for Formal Analysis of ECA Rules
    by Ericsson, AnnMarie
    Published 2009
    Subjects: “...Timed automata...”
    Get full text
    Get full text
    Doctoral Thesis
  10. 10
    Verification and control of o-minimal hybrid systems and weighted timed automata
    by Brihaye, Thomas
    Published 2006
    Subjects: “...weighted timed automata...”
    Get full text
    Others
  11. 11
    Control of Timed Systems
    by Cassez, Franck
    Published 2007
    Subjects: “...timed automata...”
    Get full text
    Get full text
    Get full text
  12. 12
    Algorithmic Analysis of Complex Semantics for Timed and Hybrid Automata.
    by Doyen, Laurent
    Published 2006
    Subjects: “...Timed automata...”
    Get full text
    Others
  13. 13
    Automate sur les structures temporisée
    by Jaziri, Samy
    Published 2019
    Subjects: “...Timed Automata...”
    Get full text
  14. 14
    Verifying transformations between timed automata specifications and ECA rules
    by Ericsson, Ann-Marie
    Published 2003
    Subjects: “...Timed automata...”
    Get full text
    Others
  15. 15
    From Timed Models to Timed Implementations
    by De Wulf, Martin
    Published 2006
    Subjects: “...timed automata...”
    Get full text
    Others
  16. 16
    Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata
    by Suryadevara, Jagadish
    Published 2013
    Subjects: “...Timed Automata...”
    Get full text
    Get full text
    Doctoral Thesis
  17. 17
    Deriving ECA-rules from timed-automata specifications.
    by Ericsson, Ann-Marie
    Published 2002
    Subjects: “...Timed-automata...”
    Get full text
    Others
  18. 18
    Robustness in timed automata : analysis, synthesis, implementation
    by Sankur, Ocan
    Published 2013
    Subjects: “...Timed automata...”
    Get full text
  19. 19
    Instrumentation of timed automata for formal verification of timed properties
    by Hagman, Mikael
    Published 2007
    Subjects: “...Timed Automata...”
    Get full text
    Others
  20. 20
    Exact acceleration of complex real-time model checking based on overlapping cycle
    by Guoqing Wang, Lei Zhuang, Yu Song, Mengyang He, Ding Ma, Ling Ma
    Published 2020-05-01
    Subjects: “...Timed automata...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search