Skip to search boxSkip to navigationSkip to main content

Timed I/O Automata: A Complete Specification Theory for Real-time Systems

  • Alexandre David
    ,
  • Kim Guldstrand Larsen
    ,
  • Axel Legay
    ,
  • Ulrik Mathias Nyman
    ,
  • Andrzej Wasowski
  • Aalborg University
    ,
  • The French National Institute for Computer Science (INRIA)
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Host publication Subtitle

computation and control

Original language

English

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Publisher

Association for Computing Machinery, United States

ISBN (Electronic)

978-1-60558-955-8

Publication IDs

  • Scopus: 77953047551

Host publication title

HSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems

Publication metrics

PlumX

Citations
156
Captures
54

Related Event

Title

International Conference on Hybrid Systems: Computation and Control.    April 12-16,

Event type

Conference

Date

12/04/2010 - 16/04/2010

Location

StockholmSweden