On the Probabilistic Verification of Time Constrained SysML State Machines - Archive ouverte HAL Accéder directement au contenu
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

CNRS UNIV-LORRAINE
4 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More