%0 Thesis %1 luithardt2017formale %A Luithardt, Philipp %B ILS Institut für Luftfahrtsysteme %C München %D 2017 %I Verlag Dr. Hut %K %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 = {2023-08-31T16:25:44.000+0200}, address = {München}, author = {Luithardt, Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f3273ea3ee4a008225f5c7be6e0f8184/puma-wartung}, eventdate = {2016-11-04}, interhash = {b55fa2df1f0043b5a41378f3d793af28}, intrahash = {f3273ea3ee4a008225f5c7be6e0f8184}, isbn = {978-3-8439-3325-4}, keywords = {}, language = {ger}, number = 13, publisher = {Verlag Dr. Hut}, school = {Universität Stuttgart}, series = {ILS Institut für Luftfahrtsysteme}, supervisor = {Reichel, Reinhard}, supervisorgnd = {1034209256}, timestamp = {2023-08-31T14:25:44.000+0200}, title = {Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem}, type = {Dissertation}, year = 2017 }