Formal modeling for verifying SCA composition.

Lazhar Hamel Mohamed Graiet Mourad Kmimech

Published in: RCIS (2015)

Keyphrases

databases
data mining
artificial intelligence
modeling method
decision trees
image segmentation
special case
knowledge representation
formal specification
web services composition