A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alarico Campetelli' in GoogleThis author has not been identified. Look up 'Maximilian Junker' in GoogleThis author has not been identified. Look up 'Birthe Böhm' in GoogleThis author has not been identified. Look up 'Maria Davidich' in GoogleThis author has not been identified. Look up 'Vasileios Koutsoumpas' in GoogleThis author has not been identified. Look up 'Xiuna Zhu' in GoogleThis author has not been identified. Look up 'Jan Christoph Wehrstedt' in Google

runs on WebDSL