Contracts for Schedulability Analysis

BIB
Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo
Proc. Formal Modelling and Analysis of Timed Systems (FORMATS)
2015
inproceedings
ARAMiS
ARAMiS – Automotive, Railway and Avionic Multicore System