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
Number:10
Volume:66
Year:2018
Pages: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}
}