Formal Behavioral Modeling for Verifying SCA Composition with Event-B.

Mohamed Graiet Aida Lahouij Imed Abbassi Lazhar Hamel Mourad Kmimech

Published in: ICWS (2015)

Keyphrases

event detection
modeling method
data mining
machine learning
computer vision
knowledge base
decision trees
image sequences
hidden markov models
formal model
formal models
formal language