Login
- Autor(en):
- Kauer, Matthias; Steinhorst, Sebastian; Schneider, Reinhard; Lukasiewycz, Martin; Chakraborty, Samarjit
- Titel:
- Automata-Theoretic Modeling of Fixed-Priority Non-Preemptive Scheduling for Formal Timing Verification
- Kongress- / Buchtitel:
- Proceedings of the 19th Asia and South Pacific Design Automation Conference (ASP-DAC 2014)
- Jahr:
- 2014
- Monat:
- 1
- Seiten:
- 812--817
- Volltext / DOI:
- doi:10.1109/ASPDAC.2014.6742990
BibTeX