User: Guest  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