MPI-SWS researchers win 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.