@inproceedings{fouzmenai:hal-02622865, TITLE = {{UML 2.0 for Next Generation Networks. Wireless Networks Modeling and Validation: A case study}}, AUTHOR = {Fouz Menai, Mohamed and Fromentoux, Ga{\"e}l and Ga{\"i}ti, Dominique and Lemercier, Marc}, URL = {https://utt.hal.science/hal-02622865}, BOOKTITLE = {{IEEE's international symposium on software reliability Engineering (2004)}}, ADDRESS = {Paris, France}, SERIES = {Supplementary proceedings of the IEEE's international symposium on software reliability Engineering (2004), Paris, December 2004}, YEAR = {2014}, MONTH = Dec, HAL_ID = {hal-02622865}, HAL_VERSION = {v1}, }