MPI-SWS researchers receive ECRTS best-paper award

Bild der Pressemitteilung


Felipe Cerqueira, Felix Stutz, and Björn Brandenburg have received the best paper award at ECRTS 2016, for their paper „Prosa: A Case for Readable Mechanized Schedulability Analysis.“ Read more about Prosa.