"A Graph Transformation Approach for Modeling and Verification of UML 2.0 ..."

Houda Hamrouche, Allaoua Chaoui, Smaine Mazouzi (2022)

Details and statistics

DOI: 10.31577/CAI_2022_5_1284

access: open

type: Journal Article

metadata version: 2023-02-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics