Pettersson, Paul, Mälardalen University Västerås, Sweden, Sweden
-
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.