Tayfun Gezgin, Christoph Etzien. Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models. In Frédéric Boulanger, Daniel Krob, Gérard Morel, Jean-Claude Roussel, editors, Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), Paris, France, November 12th, 2014. Volume 1234 of CEUR Workshop Proceedings, pages 89-100, CEUR-WS.org, 2014. [doi]
@inproceedings{GezginE14,
title = {Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models},
author = {Tayfun Gezgin and Christoph Etzien},
year = {2014},
url = {http://ceur-ws.org/Vol-1234/paper-09.pdf},
researchr = {https://researchr.org/publication/GezginE14},
cites = {0},
citedby = {0},
pages = {89-100},
booktitle = {Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), Paris, France, November 12th, 2014},
editor = {Frédéric Boulanger and Daniel Krob and Gérard Morel and Jean-Claude Roussel},
volume = {1234},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}