TY - RPRT TI - Advanced avionics systems for dependable computing in future space exploration AU - Alkalai, L. AU - Chau, S. AU - Tai, A. PY - 2002 UR - https://ntrs.nasa.gov/citations/20060030897 ID - 20060030897 ER -