%0 Thesis %1 phd/basesearch/Muller19b %A Müller, Sebastian %D 2019 %K dblp %T Contract-Based Safety Certification for the Dynamic Adaptation Behavior of Networked Embedded Systems

@phdthesis{phd/basesearch/Muller19b, added-at = {2024-03-13T00:00:00.000+0100}, author = {Müller, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/212835f1e6e4f12b1e6d1e73fdd609892/dblp}, ee = {https://www.base-search.net/Record/bfef06464750933175013325fd1837d945257d26b79bafa3d9426a2469554627}, interhash = {d25c956dc6d612f07842c7ec7db8160c}, intrahash = {12835f1e6e4f12b1e6d1e73fdd609892}, keywords = {dblp}, note = {base-search.net (ftunivkaisers:oai:kluedo.ub.rptu.de:5756)}, school = {Kaiserslautern University, Germany}, timestamp = {2024-04-09T09:22:01.000+0200}, title = {Contract-Based Safety Certification for the Dynamic Adaptation Behavior of Networked Embedded Systems}, year = 2019 }