Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt. A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. In Wolf Zimmermann, Wolfgang Böhm 0002, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón-y-Widemann, Thorsten Weyer, editors, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. Volume 1337 of CEUR Workshop Proceedings, pages 91-100, CEUR-WS.org, 2015. [doi]
@inproceedings{CampetelliJBDKZ15,
title = {A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study},
author = {Alarico Campetelli and Maximilian Junker and Birthe Böhm and Maria Davidich and Vasileios Koutsoumpas and Xiuna Zhu and Jan Christoph Wehrstedt},
year = {2015},
url = {http://ceur-ws.org/Vol-1337/paper13.pdf},
researchr = {https://researchr.org/publication/CampetelliJBDKZ15},
cites = {0},
citedby = {0},
pages = {91-100},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015},
editor = {Wolf Zimmermann and Wolfgang Böhm 0002 and Clemens Grelck and Robert Heinrich and Reiner Jung and Marco Konersmann and Alexander Schlaefer and Eric Schmieders and Sibylle Schupp and Baltasar Trancón-y-Widemann and Thorsten Weyer},
volume = {1337},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}