David, Alexandre, Aalborg University Aalborg, Denmark, Denmark
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Adaptive Task Automata with Earliest-Deadline-First Scheduling
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.