author = { Feld, Timo AND Werkmann, Uwe AND Slomka, Frank Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen },

title = { Real-time analysis of distributed systems including tasks with variable rate-dependent behavior },

publisher = {Universitätsbibliothek Tübingen},

keywords = { Regelungssystem , Konferenzschrift 2018 Tübingen },

year = {2018},

booktitle = {MBMV 2018},

address = { Tübingen },

url = { http://slubdd.de/katalog?TN_libero_mab2 }