A Timed-Automata Semantics for a System-Level MPSoC model |
Aske Brekling, Michael R. Hansen, Jan Madsen
|
| Type | Conference paper [With referee] |
| Conference | Nordic Workshop on Programming Theory |
| Year | 2006 |
| Publisher | Reykjavik University |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |