Time properties verification of UML/MARTE real-time systems.

Aymen Louati, Kamel Barkaoui, Chadlia Jerad

Browse the full IRI paper archive.