A probabilistic verification framework of SysML activity diagrams.

Samir Ouchani, Otmane At Mohamed, Mourad Debbabi

Browse the full SoMeT paper archive.