Supporting Automated Containment Checking of Software Behavioural Models Using Model Transformations and Model Checking

Supporting Automated Containment Checking of Software Behavioural Models Using Model Transformations and Model Checking

Authors
  • UL Muram, Faiz
  • Tran, Huy
  • Zdun, Uwe
Grafik Top
Shortfacts
Category
Journal Paper
Divisions
Software Architecture
Subjects
Software Engineering
Journal or Publication Title
Science of Computer Programming
ISSN
0167-6423
Publisher
Elsevier
Page Range
pp. 38-71
Volume
174
Date
18 January 2019
Export
Grafik Top