| Original language | English |
|---|---|
| Title of host publication | Communicating Embedded Systems: Software and Design: Formal Methods |
| Editors | Claude Jard, Olivier H. Roux |
| Number of pages | 37 |
| Publisher | Wiley |
| Publication date | 13 Feb 2013 |
| Pages | 1-37 |
| ISBN (Print) | 9781848211438 |
| DOIs | |
| Publication status | Published - 13 Feb 2013 |
Models for Real-Time Embedded Systems
Didier Lime*, Olivier H. Roux, Jiri Srba
*Corresponding author for this work
Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review