Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/se/CampetelliJBDKZ15
%A Campetelli, Alarico
%A Junker, Maximilian
%A Böhm, Birthe
%A Davidich, Maria
%A Koutsoumpas, Vasileios
%A Zhu, Xiuna
%A Wehrstedt, Jan Christoph
%B Software Engineering (Workshops)
%D 2015
%E Zimmermann, Wolf
%E Böhm, Wolfgang
%E Grelck, Clemens
%E Heinrich, Robert
%E Jung, Reiner
%E Konersmann, Marco
%E Schlaefer, Alexander
%E Schmieders, Eric
%E Schupp, Sibylle
%E y Widemann, Baltasar Trancón
%E Weyer, Thorsten
%I CEUR-WS.org
%K dblp
%P 91-100
%T A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.
%U http://dblp.uni-trier.de/db/conf/se/se2015w.html#CampetelliJBDKZ15
%V 1337
@inproceedings{conf/se/CampetelliJBDKZ15,
added-at = {2019-05-28T00:00:00.000+0200},
author = {Campetelli, Alarico and Junker, Maximilian and Böhm, Birthe and Davidich, Maria and Koutsoumpas, Vasileios and Zhu, Xiuna and Wehrstedt, Jan Christoph},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ee47598cdc6b148fb9f98d31ffa09673/dblp},
booktitle = {Software Engineering (Workshops)},
crossref = {conf/se/2015w},
editor = {Zimmermann, Wolf and Böhm, Wolfgang and Grelck, Clemens and Heinrich, Robert and Jung, Reiner and Konersmann, Marco and Schlaefer, Alexander and Schmieders, Eric and Schupp, Sibylle and y Widemann, Baltasar Trancón and Weyer, Thorsten},
ee = {http://ceur-ws.org/Vol-1337/paper13.pdf},
interhash = {f9afab1ac62de0188b6b05dc834c8fce},
intrahash = {ee47598cdc6b148fb9f98d31ffa09673},
keywords = {dblp},
pages = {91-100},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2019-09-27T13:46:12.000+0200},
title = {A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.},
url = {http://dblp.uni-trier.de/db/conf/se/se2015w.html#CampetelliJBDKZ15},
volume = 1337,
year = 2015
}