Feld, Timo
[Author];
Werkmann, Uwe
[Author];
Slomka, Frank
[Author]
;
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