A formal verification framework for SysML activity diagrams

@article{Ouchani2014AFV,
  title={A formal verification framework for SysML activity diagrams},
  author={Samir Ouchani and Otmane A{\"i}t Mohamed and Mourad Debbabi},
  journal={Expert Syst. Appl.},
  year={2014},
  volume={41},
  pages={2713-2728}
}
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

Similar Papers

Loading similar papers…