Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani. A quantitative verification framework of SysML activity diagrams under time constraints. Expert Syst. Appl., 42(21):7493-7510, 2015. [doi]
@article{BaouyaBMO15,
title = {A quantitative verification framework of SysML activity diagrams under time constraints},
author = {Abdelhakim Baouya and Djamal Bennouar and Otmane Aït Mohamed and Samir Ouchani},
year = {2015},
doi = {10.1016/j.eswa.2015.05.049},
url = {http://dx.doi.org/10.1016/j.eswa.2015.05.049},
researchr = {https://researchr.org/publication/BaouyaBMO15},
cites = {0},
citedby = {0},
journal = {Expert Syst. Appl.},
volume = {42},
number = {21},
pages = {7493-7510},
}