A quantitative verification framework of SysML activity diagrams under time constraints

Abdelhakim Baouya(Centre National de la Recherche Scientifique), Samir Ouchani(University of Luxembourg)
Expert Systems with Applications
May 30, 2015
10.1016/j.eswa.2015.05.049
Cited by 14

Related Papers

No related papers found

Powered by citation graph analysis