A Probabilistic Verification Framework for SysML Activity Diagrams.

Samir Ouchani, Otmane At Mohamed, Mourad Debbabi

Browse the full SoMeT paper archive.