Login / Signup
Jan Täubrich
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
Jan Täubrich
,
Reinhard von Hanxleden
Formal Specification and Analysis of AFDX Redundancy Management Algorithms.
SAFECOMP
(2007)