PROSA: A Case for Readable Mechanized Schedulability Analysis.

Felipe Cerqueira Felix Stutz Björn B. Brandenburg

Published in: ECRTS (2016)

Keyphrases

data analysis
statistical analysis
resource discovery
resource sharing