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

Aida Lahouij Lazhar Hamel Mohamed Graiet

Published in: WETICE (2015)

Keyphrases

dynamic aspects
event detection
event recognition
computer vision
dynamic environments
dynamically changing
formal models
database
real time
website
data streams