Login / Signup
A probabilistic verification framework of SysML activity diagrams.
Samir Ouchani
Otmane Aït Mohamed
Mourad Debbabi
Published in:
SoMeT (2013)
Keyphrases
</>
distributed systems