Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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

Journal Article
Author(s):Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, and Birgit Vogel‑Heuser
Journal:Automatisierungstechnik
Volume:Special Issue
Year:2018
Keywords: IMPROVEAPS

Note

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}
}