Reference : A Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints |
Scientific journals : Article | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/24849 | |||
A Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints | |
English | |
Baouya, Abdelhakim [> >] | |
Bennouar, Djamal [> >] | |
Mohamed, Otmane Ait [> >] | |
Ouchani, Samir ![]() | |
2015 | |
Expert Systems with Applications | |
Pergamon | |
Yes | |
International | |
http://hdl.handle.net/10993/24849 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.