Abstraction Techniques for Compositional State-based Scheduling Analysis

BIB
Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.
10 / 2012
inproceedings
ARAMiS
ARAMiS – Automotive, Railway and Avionic Multicore System
DANSE
Designing for Adaptability and evolutioN in System of systems Engineering

OFFIS Autoren