Benutzer: Gast  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