Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems

Reviewed Paper In Proceedings

Author(s):Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, and Birgit Vogel‑Heuser
In:17th IEEE International Conference on Industrial Informatics (INDIN 2019)
Publisher:IEEE, Piscataway (NJ)
Year:2020
Pages:413-418
DOI:10.1109/INDIN41052.2019.8972210

BibTeX

@inproceedings{ChaUlbrichWeigl2020_1000117429,
    author       = {Suhyun Cha and Mattias Ulbrich and Alexander Weigl and Bernhard Beckert and Kathrin Land and Birgit Vogel{-}Heuser},
    year         = {2020},
    title        = {On the Preservation of the Trust by Regression Verification of {PLC} software for Cyber-Physical Systems of Systems},
    pages        = {413--418},
    eventtitle   = {IEEE International Conference on Industrial Informatics},
    eventtitleaddon = {INDIN 2019},
    eventdate    = {2019-07-22/2019-07-25},
    venue        = {Helsinki, Finnland},
    booktitle    = {17th {IEEE} International Conference on Industrial Informatics ({INDIN} 2019)},
    location     = {Helsinki/Espoo, Finland},
    date         = {July 22-25},
    doi          = {10.1109/INDIN41052.2019.8972210},
    publisher    = {{IEEE, Piscataway (NJ)}},
    isbn         = {978-1-72812-927-3},
    language     = {english}
}