- Titel:
Static Scheduling of a Time-Triggered Network-on-Chip based on SMT Solving
- Autor(en):
- Huang, Jia; Blech, Jan Olaf; Raabe, Andreas; Knoll, Christian Buckland Alois
- Kongress- / Buchtitel:
- Design, Automation and Test in Europe (DATE)
- Verlagsort:
- Dresden, Germany
- Jahr:
- 2012
- Monat:
- March
- BibTeX