Efficient Probabilistic Abstraction for SysML Activity Diagrams.

Samir Ouchani, Otmane At Mohamed, Mourad Debbabi

Browse the full SEFM paper archive.