Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Applicability of Generalized Test Tables: A Case Study Using the Manufacturing System Demonstrator xPPU

Zeitschriftenartikel

Autor(en):Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert und Birgit Vogel‑Heuser
Zeitschrift:Automatisierungstechnik
Nummer:10
Band:66
Jahr:2018
Seiten:834-848
DOI:10.1515/auto-2018-0028

BibTeX

@article{ChaWeiglEtAl2018,
  author    = {Suhyun Cha and
               Alexander Weigl and
               Mattias Ulbrich and
               Bernhard Beckert and
               Birgit Vogel{-}Heuser},
  title     = {{Applicability of Generalized Test Tables: A Case Study Using the Manufacturing
               System Demonstrator xPPU}},
  journal   = {Automatisierungstechnik},
  volume    = {66},
  number    = {10},
  pages     = {834--848},
  year      = {2018},
  doi       = {10.1515/auto-2018-0028}
}