Sanae El Mimouni, Mohamed Bouhdadi. Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method. In 12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015. pages 1-4, IEEE, 2015. [doi]
@inproceedings{MimouniB15-1,
title = {Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method},
author = {Sanae El Mimouni and Mohamed Bouhdadi},
year = {2015},
doi = {10.1109/AICCSA.2015.7507170},
url = {http://dx.doi.org/10.1109/AICCSA.2015.7507170},
researchr = {https://researchr.org/publication/MimouniB15-1},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015},
publisher = {IEEE},
isbn = {978-1-5090-0478-2},
}