![](/img/cover-not-exists.png)
[IEEE 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) - Dubai, United Arab Emirates (2016.11.6-2016.11.8)] 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) - Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study
Singh, Neeraj Kumar, Ait-Ameur, Yamine, Pantel, Marc, Dieumegard, Arnaud, Jenn, EricYear:
2016
Language:
english
DOI:
10.1109/ICECCS.2016.015
File:
PDF, 277 KB
english, 2016