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)
Journal Article

In: Automated software engineering
Volume: 27
Issue: 1/2
Page(s)/Article-Nr.: 119-151