Chapitre D'ouvrage
Année : 2015
ABDELHAKIM BAOUYA : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02561373
Soumis le : dimanche 3 mai 2020-19:35:32
Dernière modification le : vendredi 24 mars 2023-14:53:16
Citer
Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed, Samir Ouchani. On the Probabilistic Verification of Time Constrained SysML State Machines. Intelligent Software Methodologies, Tools and Techniques, International Conference on Intelligent Software Methodologies, Tools, and Techniques, pp.425-441, 2015, ⟨10.1007/978-3-319-22689-7_33⟩. ⟨hal-02561373⟩
Collections
4
Consultations
0
Téléchargements