C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A formal framework to generate XPDL specifications from UML activity diagrams.
Nicolas Guelfi
Amel Mammar
Published in:
SAC (2006)
Keyphrases
</>
information systems
probabilistic model
formal specification
uml activity diagrams