Aymen Louati, Kamel Barkaoui, Chadlia Jerad. Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Formalisms for Reuse and Systems Integration. Volume 346 of Advances in Intelligent Systems and Computing, pages 133-147, Springer, 2015. [doi]
@incollection{LouatiBJ15,
title = {Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT},
author = {Aymen Louati and Kamel Barkaoui and Chadlia Jerad},
year = {2015},
doi = {10.1007/978-3-319-16577-6_6},
url = {http://dx.doi.org/10.1007/978-3-319-16577-6_6},
researchr = {https://researchr.org/publication/LouatiBJ15},
cites = {0},
citedby = {0},
pages = {133-147},
booktitle = {Formalisms for Reuse and Systems Integration},
editor = {Thouraya Bouabana-Tebibel and Stuart H. Rubin},
volume = {346},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
isbn = {978-3-319-16576-9},
}