Publikationer
Timing analysis and simulation tools for real-time control
Avdelning/ar:
Publiceringsår: 2005
Språk: Engelska
Sidor: 142-143
Publikation/Tidskrift/Serie: Formal Modeling and Analysis of Timed Systems (Lecture Notes in Computer Science)
Volym: 3829
Dokumenttyp: Del av eller Kapitel i bok
Förlag: Springer
Sammanfattning
Disputation
Nyckelord
- Technology and Engineering
Övrigt
Published
- ISSN: 0302-9743
- ISBN: 978-3-540-30946-8
