| Original language | English (Ireland) |
|---|---|
| Publisher | Lambert Academic Publishing |
| Publication status | Published - 2010 |
Development and Formal Verification of TTCAN: Time-Triggered Controller Area Network
Research output: Book/Report › Book
Research output: Book/Report › Book
| Original language | English (Ireland) |
|---|---|
| Publisher | Lambert Academic Publishing |
| Publication status | Published - 2010 |