Login / Signup
Event-B Decomposition Analysis for Systems Behavior Modeling.
Kenza Kraibi
Rahma Ben Ayed
Joris Rehm
Simon Collart Dutilleul
Philippe Bon
Dorian Petit
Published in:
ICSOFT (2019)
Keyphrases
</>
distributed systems
intelligent systems
computer systems
statistical analysis
complex systems
event detection
impact analysis
artificial intelligence
event driven
structural analysis
statistical modeling
video analysis
quantitative analysis
news articles
multiresolution
image analysis
decision making