A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams
-
Published:2022
Issue:5
Volume:41
Page:1284-1309
-
ISSN:2585-8807
-
Container-title:Computing and Informatics
-
language:
-
Short-container-title:cai
Author:
Hamrouche Houda,Chaoui Allaoua,Mazouzi Smaine
Publisher
Central Library of the Slovak Academy of Sciences
Subject
General Earth and Planetary Sciences,General Environmental Science