Formalization of fUML: An Application to Process Verification.

Yoann Laurent Reda Bendraou Souheib Baarir Marie-Pierre Gervais

Published in: CAiSE (2014)

Keyphrases

social networks
evolutionary algorithm
domain knowledge
formal analysis
database
real time
real world
genetic algorithm
image processing
special case
hidden markov models
functional verification