[OMD14]
Samir Ouchani, Otmane Aït Mohameda and Mourad Debbabi.
A property-based abstraction framework for SysML activity diagrams.
Knowledge-Based Systems, 6, pages 328-343.
January 2014.
[Presents methods to abstract and verify SysML activity diagrams using PRISM as a back-end.]
|
