A Probabilistic Verification Framework for SysML Activity Diagrams.

Samir Ouchani Otmane Aït Mohamed Mourad Debbabi

Published in: SoMeT (2012)

Keyphrases

artificial intelligence
formal methods
databases
software engineering
open source
description logics
activity diagrams