Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit. Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. JCM, 14(10):980-986, 2019. [doi]
@article{KraibiADBP19,
title = {Analysis and Formal Modeling of Systems Behavior Using UML/Event-B},
author = {Kenza Kraibi and Rahma Ben Ayed and Simon Collart Dutilleul and Philippe Bon and Dorian Petit},
year = {2019},
doi = {10.12720/jcm.14.10.980-986.},
url = {https://doi.org/10.12720/jcm.14.10.980-986.},
researchr = {https://researchr.org/publication/KraibiADBP19},
cites = {0},
citedby = {0},
journal = {JCM},
volume = {14},
number = {10},
pages = {980-986},
}