Automated semantics-preserving parallel decomposition of finite component and connector architectures

Kautz, Oliver (Corresponding author); Rumpe, Bernhard; Wortmann, Andreas

Dordrecht [u.a.] : Springer Science + Business Media B.V (2020)
Fachzeitschriftenartikel

In: Automated software engineering
Band: 27
Heft: 1/2
Seite(n)/Artikel-Nr.: 119-151

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 3 (Software Engineering) [121510]