Feld, Timo
[VerfasserIn];
Werkmann, Uwe
[VerfasserIn];
Slomka, Frank
[VerfasserIn]
;
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen
Real-time analysis of distributed systems including tasks with variable rate-dependent behavior