Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems

von Wenckstern, Michael; Rumpe, Bernhard (Thesis advisor); Maoz, Shahar (Thesis advisor)

Düren : Shaker (2020, 2022)
Buch, Doktorarbeit

In: Aachener Informatik Berichte, Software Engineering 44
Seite(n)/Artikel-Nr.: 440 Seiten : Illustrationen, Diagramme

Dissertation, RWTH Aachen University, 2019

Kurzfassung