Login
- Author(s):
- Kauer, Matthias; Steinhorst, Sebastian; Schneider, Reinhard; Lukasiewycz, Martin; Chakraborty, Samarjit
- Title:
- Automata-Theoretic Modeling of Fixed-Priority Non-Preemptive Scheduling for Formal Timing Verification
- Book / Congress title:
- Proceedings of the 19th Asia and South Pacific Design Automation Conference (ASP-DAC 2014)
- Year:
- 2014
- Pages:
- 812--817
- Fulltext / DOI:
- doi:10.1109/ASPDAC.2014.6742990
BibTeX