A Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints

Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; OUCHANI, Samir

doi:10.1016/j.eswa.2015.05.049

Télécharger

Article (Périodiques scientifiques)

A Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints

Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait et al.

2015 • In Expert Systems with Applications

Peer reviewed

Permalien
https://hdl.handle.net/10993/24849

DOI
10.1016/j.eswa.2015.05.049

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

1.pdf

Postprint Éditeur (2.5 MB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Baouya, Abdelhakim

Bennouar, Djamal

Mohamed, Otmane Ait

OUCHANI, Samir ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

A Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints

Date de publication/diffusion :

2015

Titre du périodique :

Expert Systems with Applications

Maison d'édition :

Pergamon

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 23 février 2016

Statistiques

Nombre de vues

127 (dont 2 Unilu)

Nombre de téléchargements

1065 (dont 1 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex

citations WoS^™