Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni. Verification of temporal requirements of complex systems using UML patterns, application to a railway control example. In 4th IEEE International Conference on System of Systems Engineering, SoSE 2009, Albuquerque, NM, USA, 30 May - 03 Jun 2009. pages 1-6, IEEE, 2009. [doi]
@inproceedings{GhazelMT09,
title = {Verification of temporal requirements of complex systems using UML patterns, application to a railway control example},
author = {Mohamed Ghazel and Malek Masmoudi and Armand Toguyéni},
year = {2009},
url = {http://dx.doi.org/},
researchr = {https://researchr.org/publication/GhazelMT09},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {4th IEEE International Conference on System of Systems Engineering, SoSE 2009, Albuquerque, NM, USA, 30 May - 03 Jun 2009},
publisher = {IEEE},
isbn = {978-1-4244-4766-4},
}