A quantitative verification framework of SysML activity diagrams under time constraints
| Autor: | Baouya, Abdelhakim, Bennouar, Djamal, Mohamed, Otmane Ait, Ouchani, Samir |
|---|---|
| Zdroj: | In Expert Systems With Applications 30 November 2015 42(21):7493-7510 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect