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, Birgit Vogel-Heuser. Generalized test tables: A powerful and intuitive specification language for reactive systems. In 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017. pages 875-882, IEEE, 2017. [doi]

Authors

Alexander Weigl

This author has not been identified. Look up 'Alexander Weigl' in Google

Franziska Wiebe

This author has not been identified. Look up 'Franziska Wiebe' in Google

Mattias Ulbrich

This author has not been identified. Look up 'Mattias Ulbrich' in Google

Sebastian Ulewicz

This author has not been identified. Look up 'Sebastian Ulewicz' in Google

Suhyun Cha

This author has not been identified. Look up 'Suhyun Cha' in Google

Michael Kirsten

This author has not been identified. Look up 'Michael Kirsten' in Google

Bernhard Beckert

This author has not been identified. Look up 'Bernhard Beckert' in Google

Birgit Vogel-Heuser

This author has not been identified. Look up 'Birgit Vogel-Heuser' in Google