Formale validierung eines verfahrens zur konsistenten master/shadow-festlegung in einem verteilten, nicht uhrensynchronen avioniksystem
Başlık:
Formale validierung eines verfahrens zur konsistenten master/shadow-festlegung in einem verteilten, nicht uhrensynchronen avioniksystem
Yazar:
Luithardt, Philipp, author.
Genel Not:
Source: Dissertation Abstracts International, Volume: 76-07C.
Notlar:
School code: 0413