%0 Thesis %1 zeller2019absicherung %A Zeller, Andreas %B IAS-Forschungsberichte %C Düren %D 2019 %I Shaker Verlag %K diss phf05 ubs_10005 ubs_20007 ubs_30175 unibibliografie %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 = {2019-12-13T14:56:59.000+0100}, address = {Düren}, author = {Zeller, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fc882129c982f1d1c34f07fcb85523da/unibiblio-3}, eventdate = {2019-10-09}, interhash = {df53b153abb530bb3c50f0922948a47e}, intrahash = {fc882129c982f1d1c34f07fcb85523da}, isbn = {978-3-8440-7039-2}, keywords = {diss phf05 ubs_10005 ubs_20007 ubs_30175 unibibliografie}, language = {ger}, number = {2019, 2}, publisher = {Shaker Verlag}, school = {Universität Stuttgart}, series = {IAS-Forschungsberichte}, supervisor = {Weyrich, Michael}, supervisorgnd = {121919781}, timestamp = {2019-12-13T13:56:59.000+0100}, title = {Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation}, type = {Dissertation}, year = 2019 }