Login / Signup
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach.
Elhillali Kerkouche
Allaoua Chaoui
El-Bay Bourennane
Ouassila Labbani
Published in:
SEDE (2009)
Keyphrases
</>
dynamic behavior
graph transformation
uml models
sequence diagrams
object oriented
dynamic networks
speed control
model checking
artificial intelligence
cooperative
d objects
image classification
multi modal