Bibtex de la publication

@InProceedings{ Si2016.6,
author = {Singh, Neeraj and Ait Ameur, Yamine and Pantel, Marc and Dieumegard, Arnaud and Jenn, Eric},
title = "{Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study (regular paper)}",
booktitle = "{IEEE International Conference on Engineering Complex Computer Systems (ICECCS), Dubaï, Emirats Arabes Unis, 06/11/2016-08/11/2016}",
year = {2016},
month = {novembre},
publisher = {IEEE Computer Society},
address = {https://www.computer.org},
pages = {43--52},
language = {anglais},
URL = {https://doi.org/10.1109/ICECCS.2016.015}
}