Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert und Birgit Vogel‑Heuser
In:15th IEEE International Conference on Industrial Informatics (INDIN 2017)
Verleger:IEEE
Jahr:2017

Anmerkung

accepted

BibTeX

@InProceedings{WeiglEtAl2017,
  author       = {Alexander Weigl and Franziska Wiebe and Mattias Ulbrich
                  and Sebastian Ulewicz and Suhyun Cha and Michael Kirsten
                  and Bernhard Beckert and Birgit Vogel-Heuser},
  title        = {Generalized Test Tables: A Powerful and Intuitive
                  Specification Language for Reactive Systems},
  booktitle    = {15th {IEEE} International Conference on Industrial
                  Informatics ({INDIN} 2017)},
  publisher    = {{IEEE}},
  year         = {2017},
  month        = jul,
  place        = {Emden, Germany},
  date         = {July 24-26},
  note         = {accepted}
}