Title
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B.
Year
DOI
Venue
2019
10.12720/jcm.14.10.980-986.
JCM
Field
DocType
Volume
Programming language,Unified Modeling Language,Computer science,Distributed computing
Journal
14
Issue
Citations 
PageRank 
10
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Kenza Kraibi100.68
Rahma Ben Ayed22711.30
Simon Collart Dutilleul3127.84
Philippe Bon466.26
Dorian Petit5183.24