Reference : On the Probabilistic Verification of Time Constrained SysML State Machines
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/24850
On the Probabilistic Verification of Time Constrained SysML State Machines
English
Baouya, Abdelhakim [> >]
Bennouar, Djamal [> >]
Mohamed, Otmane Ait [> >]
Ouchani, Samir mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
2015
Intelligent Software Methodologies, Tools and Techniques
Springer International Publishing
425--441
Yes
http://hdl.handle.net/10993/24850

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
2.pdfPublisher postprint1.14 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.