Skip to search boxSkip to navigationSkip to main content

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

  • 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

Formal Methods for Components and Objects

Original language

English

Pages from-to (Number of pages)

Pages 290-310

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Volume

6286

Publisher

Springer, United States, Germany

Publication IDs

  • Scopus: 78650201607

Host publication title

Lecture Notes in Computer Science

Publication metrics

PlumX

Captures
8
Citations
6