Gå til søgefeltetSpring over til navigationSpring til hovedindhold

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 Universitet
    ,
  • Inria
Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
 Peer-review

Publikation information

Produktionstype

Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
 Peer-review

Undertitel på værtspublikation

computation and control

Originalsprog

Engelsk

Publikationsmilepæle

  • Udgivet - 2010

Publikationsstatus

Udgivet - 2010

Forlag

Association for Computing Machinery, USA

ISBN (Elektronisk)

978-1-60558-955-8

Publication IDs

  • Scopus: 77953047551

Titel på værtspublikation

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

Metrikker

PlumX

Citationer
156
Hentninger
54

Relateret event

Titel

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

Begivenhedstype

Konference

Dato

12/04/2010 - 16/04/2010

Lokation

StockholmSverige