A quantitative verification framework of SysML activity diagrams under time constraints - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Expert Systems with Applications Année : 2015

Dates et versions

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

Identifiants

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

UNIV-LORRAINE
11 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More