%0 Thesis %1 zeller2019absicherung %A Zeller, Andreas %B IAS-Forschungsberichte %C Düren %D 2019 %I Shaker Verlag %K %N 2019, 2 %T Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation %@ 978-3-8440-7039-2

@phdthesis{zeller2019absicherung, added-at = {2023-08-31T16:38:31.000+0200}, address = {Düren}, author = {Zeller, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fc882129c982f1d1c34f07fcb85523da/puma-wartung}, eventdate = {2019-10-09}, interhash = {df53b153abb530bb3c50f0922948a47e}, intrahash = {fc882129c982f1d1c34f07fcb85523da}, isbn = {978-3-8440-7039-2}, keywords = {}, language = {ger}, number = {2019, 2}, publisher = {Shaker Verlag}, school = {Universität Stuttgart}, series = {IAS-Forschungsberichte}, supervisor = {Weyrich, Michael}, supervisorgnd = {121919781}, timestamp = {2023-08-31T14:38:31.000+0200}, title = {Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation}, type = {Dissertation}, year = 2019 }