Login / Signup
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
Lucas Lima
Amaury Tavares
Sidney C. Nogueira
Published in:
CoRR (2019)
Keyphrases
</>
uml activity diagrams
probabilistic model
information systems
sensitivity analysis