Chapitre D'ouvrage Année : 2015

Dates et versions

hal-02561373 , version 1 (03-05-2020)

Identifiants

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

36 Consultations
0 Téléchargements

Altmetric

Partager

  • More