Aymen Louati, Kamel Barkaoui, Chadlia Jerad. Time properties verification of UML/MARTE real-time systems. In James Joshi, Elisa Bertino, Bhavani M. Thuraisingham, Ling Liu, editors, Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, IRI 2014, Redwood City, CA, USA, August 13-15, 2014. pages 386-393, IEEE, 2014. [doi]
Abstract is missing.