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

Selected Challenges of Software Evolution for Automated Production Systems

Reviewed Paper In Proceedings
Author(s):Birgit Vogel‑Heuser, Stefan Feldmann, Jens Folmer, Matthias Kowal, Ina Schaefer, Jan Ladiges, Alexander Fay, Christopher Haubeck, Winfried Lamersdorf, Sascha Lity, Timo Kehrer, Matthias Tichy, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, and Bernhard Beckert
In:13th IEEE International Conference on Industrial Informatics (INDIN 2015)
Year:2015
Pages:314-321
Keywords: IMPROVE

BibTeX

@inproceedings{VogelHeuserEA2015,
  title        = {Selected Challenges of Software Evolution for Automated Production Systems},
  author       = {Birgit Vogel-Heuser and Stefan Feldmann and Jens Folmer and Matthias Kowal and
                  Ina Schaefer and Jan Ladiges and Alexander Fay and Christopher Haubeck and
                  Winfried Lamersdorf and Sascha Lity and Timo Kehrer and Matthias Tichy and
                  Sinem Getir and Mattias Ulbrich and Vladimir Klebanov and Bernhard Beckert},
  booktitle    = {13th IEEE International Conference on Industrial Informatics (INDIN 2015)},
  pages        = {314--321},
  month        = jul,
  year         = {2015},
  organization = {IEEE},
  keywords = {IMPROVE}
}