A property-based abstraction framework for SysML activity diagrams

Autor: Ouchani, Samir, Aït Mohamed, Otmane, Debbabi, Mourad
Zdroj: In Knowledge-Based Systems January 2014 56:328-343
Databáze: ScienceDirect