Verification Methodology for Fault-Tolerant, Fail-Safe Computers Applied to Maglev Control Computer System
Magnetic levitation, Maglev, Maglev control computer, Fail safe design, Fault tolerant computer, Design for verifcation methodology, Safety and availability
DOT is committed to ensuring that information is available in appropriate alternative formats to meet the requirements of persons who have a disability. If you require an alternative version of files provided on this page, please contact FRAWeb@dot.gov.
Last updated: Saturday, May 1, 1993