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

Generation of Monitoring Functions in Production Automation Using Test Specifications

Reviewed Paper In Proceedings
Author(s):Suhyun Cha, Sebastian Ulewicz, Birgit Vogel‑Heuser, Alexander Weigl, Mattias Ulbrich, and Bernhard Beckert
In:15th IEEE International Conference on Industrial Informatics (INDIN 2017)
Publisher:IEEE
Year:2017

BibTeX

@InProceedings{ChaUlewiczEA2017,
  title      = {Generation of Monitoring Functions in Production
                Automation Using Test Specifications},
  author     = {Suhyun Cha and Sebastian Ulewicz and Birgit
                Vogel-Heuser and Alexander Weigl and Mattias
                Ulbrich and Bernhard Beckert},
  booktitle  = {15th {IEEE} International Conference on
                Industrial Informatics ({INDIN} 2017)},
  publisher  = {{IEEE}},
  year       = {2017},
  month      = jul,
  venue      = {Emden, Germany},
  eventdate  = {2017-07-24/2017-07-26}
}