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

Content
Grafik
Authors
  • UL Muram, Faiz
  • Tran, Huy
  • Zdun, Uwe
Grafik Top
Projects
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
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.