Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.

Neeraj Kumar Singh, Yamine At Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn

Browse the full ICECCS paper archive.