Communication Dans Un Congrès
Année : 2015
ABDELHAKIM BAOUYA : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02561374
Soumis le : dimanche 3 mai 2020-19:39:06
Dernière modification le : vendredi 5 août 2022-14:54:44
Citer
Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed, Samir Ouchani. A probabilistic and timed verification approach of SysML state machine diagram. 2015 12th International Symposium on Programming and Systems (ISPS), Apr 2015, Algiers, France. pp.1-9, ⟨10.1109/ISPS.2015.7245001⟩. ⟨hal-02561374⟩
Collections
8
Consultations
0
Téléchargements