Login / Signup
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B.
Kenza Kraibi
Rahma Ben Ayed
Simon Collart Dutilleul
Philippe Bon
Dorian Petit
Published in:
J. Commun. (2019)
Keyphrases
</>
formal methods
expert systems
behavior analysis
data analysis
knowledge based systems
modeling language
formal analysis
software engineering
statistical analysis
formal models
sequence diagrams
unified modeling language