%0 Thesis %1 luithardt2017formale %A Luithardt, Philipp %B ILS Institut für Luftfahrtsysteme %C München %D 2017 %I Verlag Dr. Hut %K diss phf06 ubs_10006 ubs_20010 ubs_30095 unibibliografie %N 13 %T Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem %@ 978-3-8439-3325-4

@phdthesis{luithardt2017formale, added-at = {2021-12-10T16:21:27.000+0100}, address = {München}, author = {Luithardt, Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f3273ea3ee4a008225f5c7be6e0f8184/unibiblio-3}, eventdate = {2016-11-04}, interhash = {b55fa2df1f0043b5a41378f3d793af28}, intrahash = {f3273ea3ee4a008225f5c7be6e0f8184}, isbn = {978-3-8439-3325-4}, keywords = {diss phf06 ubs_10006 ubs_20010 ubs_30095 unibibliografie}, language = {ger}, number = 13, publisher = {Verlag Dr. Hut}, school = {Universität Stuttgart}, series = {ILS Institut für Luftfahrtsysteme}, supervisor = {Reichel, Reinhard}, supervisorgnd = {1034209256}, timestamp = {2021-12-10T15:21:27.000+0100}, title = {Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem}, type = {Dissertation}, year = 2017 }