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 
Seiten:
812--817