Amel Mammar, Lazhar Hamel, Mohamed Graiet. An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. Comput. J., 65(10):2780-2800, 2022. [doi]
@article{MammarHG22,
title = {An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications},
author = {Amel Mammar and Lazhar Hamel and Mohamed Graiet},
year = {2022},
doi = {10.1093/comjnl/bxab115},
url = {https://doi.org/10.1093/comjnl/bxab115},
researchr = {https://researchr.org/publication/MammarHG22},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {65},
number = {10},
pages = {2780-2800},
}