A quantitative verification framework of SysML activity diagrams under time constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Abdelhakim Baouya' in GoogleThis author has not been identified. Look up 'Djamal Bennouar' in GoogleThis author has not been identified. Look up 'Otmane Aït Mohamed' in GoogleThis author has not been identified. Look up 'Samir Ouchani' in Google

runs on WebDSL