Inproceedings,

Verifying Component and Connector Models against Crosscutting Structural Views (extended abstract)

, , and .
Softwareengineering & Management 2015, volume P-239 of GI-Edition--Lecture Notes in Informatics (LNI), page 110--111. Bonner Köllen Verlag, (2015)

Meta data

Tags

Users

  • @isw-bibliothek

Comments and Reviews