Article Dans Une Revue
Expert Systems with Applications
Année : 2015
ABDELHAKIM BAOUYA : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02561377
Soumis le : dimanche 3 mai 2020-19:40:47
Dernière modification le : vendredi 5 août 2022-14:54:44
Citer
Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed, Samir Ouchani. A quantitative verification framework of SysML activity diagrams under time constraints. Expert Systems with Applications, 2015, 42 (21), pp.7493-7510. ⟨10.1016/j.eswa.2015.05.049⟩. ⟨hal-02561377⟩
Collections
11
Consultations
0
Téléchargements