Bibtex de la publication

@InProceedings{ Ba2014.16,
author = {Babin, Guillaume},
title = "{A formal approach for correct-by-construction system substitution (student paper)}",
booktitle = "{European Dependable Computing Conference (EDCC), Newcastle upon Tyne, UK, 13/05/2014-16/05/2014}",
editor = {Troubitsyna, Elena},
year = {2014},
month = {mai},
publisher = {ACM/Computing Research Repository},
address = {},
pages = {(on line)},
language = {anglais},
URL = { -},
keywords = {system substitution, state recovery, correct-by-correction, Event-B, refinement},
note = {Student Forum},
abstract = {The substitution of a system with another one may occur in several situations like system adaptation, system failure management, system resilience, system reconfiguration, etc. It consists in replacing a running system by another one when given conditions hold. This contribution summarizes our proposal to define a formal setting for proving the correctness of system substitution. It relies on refinement and on the Event-B method.}