Titel |
Autor(en) |
Quelle |
Achieving delta description for the system software of an automated production evolution based on partially inferenced model | Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert und Birgit Vogel‑Heuser | 14th IEEE International Conference on Automation Science and Engineering (CASE 2018) |
Generalised Test Tables: A Practical Specification Language for Reactive Systems | Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel‑Heuser und Alexander Weigl | 13th International Conference on integrated Formal Methods (iFM 2017) |
Generation of Monitoring Functions in Production
Automation Using Test Specifications | Suhyun Cha, Sebastian Ulewicz, Birgit Vogel‑Heuser, Alexander Weigl, Mattias Ulbrich und Bernhard Beckert | 15th IEEE International Conference on
Industrial Informatics (INDIN 2017) |
Generalized Test Tables: A Powerful and Intuitive
Specification Language for Reactive Systems | Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert und Birgit Vogel‑Heuser | 15th IEEE International Conference on Industrial
Informatics (INDIN 2017) |
A Verification-Supported Evolution Approach to Assist
Software Application Engineers in Industrial Factory Automation | Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Michael Kirsten, Franziska Wiebe, Bernhard Beckert und Birgit Vogel‑Heuser | IEEE International Symposium on Assembly and
Manufacturing (ISAM 2016) |