TY - RPRT TI - Verification of Triple Modular Redundancy Insertion for Reliable and Trusted Systems AU - Berg, Melanie AU - LaBel, Kenneth PY - 2016 UR - https://ntrs.nasa.gov/citations/20160003521 ID - 20160003521 ER -