Vol-2018⫷ Vol-2019 ⫸Vol-2020
urn:nbn:de:0074-2019-0


Vol-2019/modcomp_3⫷Vol-2019/modcomp_4⫸Vol-2019/modcomp_5
Shahar MaozFerdinand MehlanJan Oliver RingertBernhard RumpeMichael von Wenckstern

OCL Framework to Verify Extra-Functional Properties in Component and Connector Models