Communication Dans Un Congrès
Année : 2014
Kamel BARKAOUI : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02479543
Soumis le : vendredi 14 février 2020-15:28:56
Dernière modification le : mercredi 28 septembre 2022-05:58:53
Citer
Aymen Louati, Kamei Barkaoui, Chadlia Jerad. Time properties verification of UML/MARTE real-time systems. 2014 IEEE International Conference on Information Reuse and Integration (IRI), Aug 2014, Redwood City, United States. pp.386-393, ⟨10.1109/IRI.2014.7051915⟩. ⟨hal-02479543⟩
Collections
7
Consultations
0
Téléchargements