Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

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
Band:Special Issue
Jahr:2018
Stichworte: IMPROVEAPS

Anmerkung

to be appear

BibTeX

@Article{at2018,
  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},
  year         = {2018},
  volume    = {Special Issue},
  %OPTnumber    = {},
  %OPTpages     = {},
  month     = {October},
  note      = {to be appear},
  keywords={IMPROVEAPS}
}