Enhancing Proofs of Local Computations through Formal Event-B Modularization.
Maha BoussabbehMohamed TounsiAhmed Hadj KacemMohamed MosbahPublished in: WETICE (2014)
Keyphrases
- event detection
- formal specification
- theorem prover
- event recognition
- social networks
- news articles
- formal model
- databases
- event driven
- mathematical theory
- temporal patterns
- condition action rules
- formal proof
- event types
- complex events
- formal representation
- event sequences
- theorem proving
- website
- machine learning
- neural network