Login / Signup
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.
Messaoud Rahim
Ahmed Kheldoun
Malika Boukala-Ioualalen
Ahmed Hammad
Published in:
IET Softw. (2015)
Keyphrases
</>
modelling language
activity diagrams
formal semantics
conceptual database design
operational semantics
sequence diagrams
learning scenarios
class diagrams
learning design
model checking
ims ld
requirements specification
machine learning
expert systems
petri net
requirements engineering