On the Probabilistic Verification of Time Constrained SysML State Machines

Contribution to collective works (Parts of books)

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

2015 • In Intelligent Software Methodologies, Tools and Techniques

Peer reviewed

Permalink
https://hdl.handle.net/10993/24850

2.pdf

Publisher postprint (1.17 MB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Baouya, Abdelhakim

Bennouar, Djamal

Mohamed, Otmane Ait

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

External co-authors :

yes

Language :

English

Title :

On the Probabilistic Verification of Time Constrained SysML State Machines

Publication date :

2015

Main work title :

Intelligent Software Methodologies, Tools and Techniques

Publisher :

Springer International Publishing

Pages :

425--441

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 23 February 2016

Number of views

81 (0 by Unilu)

Number of downloads

236 (0 by Unilu)