Skip to search boxSkip to navigationSkip to main content

Robust Specification of Real Time Components

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

Open access

Publication Information

Output type

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

Host publication Subtitle

Lecture Notes in Computer Science

Original language

Undefined/Unknown

Publication milestones

  • Published - 2011

Publication status

Published - 2011

Volume

6919

Publisher

Springer, United States, Germany

ISBN (Print)

978-3-642-24310-3_10

Publication IDs

  • Scopus: 80053323892

Host publication title

Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Publication metrics

PlumX, opens in new tab

Captures
5
Citations
14

Access to documents