A Formal Guidance Approach for Correct Process Configuration.

Souha Boubaker Amel Mammar Mohamed Graiet Walid Gaaloul

Published in: ICSOC (2016)

Keyphrases

databases
formal methods
development process
database
social networks
case study
high level
image sequences
face recognition
control system