/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 73

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 73
" /> /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 78

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 78
" /> /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 96

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 96
"/> KIT - Application-oriented Formal Verification - <br /> <b>Warning</b>: Undefined array key "title" in <b>/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php</b> on line <b>99</b><br /> <br /> <b>Warning</b>: Attempt to read property "value" on null in <b>/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php</b> on line <b>99</b><br />
@inproceedings{VogelHeuserEA2015, title = {Selected Challenges of Software Evolution for Automated Production Systems}, author = {Vogel-Heuser, Birgit and Feldmann, Stefan and Folmer, Jens and Kowal, Matthias and Schaefer, Ina and Ladiges, Jan and Fay, Alexander and Haubeck, Christopher and Lamersdorf, Winfried and Lity, Sascha and Kehrer, Timo and Tichy, Matthias and Getir, Sinem and Ulbrich, Mattias and Klebanov, Vladimir and Beckert, Bernhard}, booktitle = {13th {IEEE} International Conference on Industrial Informatics ({INDIN} 2015)}, pages = {314--321}, month = jul, organization = {IEEE}, year = {2015}, keywords = {IMPROVE} }