Sign in
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.
Neeraj Kumar Singh
Yamine Aït Ameur
Marc Pantel
Arnaud Dieumegard
Eric Jenn
Published in:
ICECCS (2016)
Keyphrases
</>
case study
formal methods
intelligent systems
automated verification
distributed systems
semi automatic
event detection
neural network
formal analysis
real time
stereo vision
complex systems
dynamic aspects
asynchronous circuits
human robot interaction
vision system
management system
expert systems
data sets