Behavioral Analysis of Service Oriented Systems Using Event-B.

Anasuya Chaudhuri Shreya Banerjee Anirban Sarkar

Published in: CISIM (2018)

Keyphrases

automatic analysis
decision trees
statistical analysis
search engine
e learning
clustering algorithm
multiscale
multi agent
wide range
image analysis
mobile robot
event detection
quantitative analysis