Making Real-Time Reactive Systems Reliable Open PDF Document Details Document Type Technical Report Publication Date Sep 01, 1990 Accession Number ADA227160 Entities People Keith Marzullo Mark Wood Organizations Cornell University Tags Communities of Interest Materials and Manufacturing Processes DTIC Thesaurus Topics Abstracts Actuators Algorithms Chemical Reactions Client Server Systems Computer Science Computers Configuration Management Control Systems Data Modeling Department Of Defense Environment Fault Tolerance Machines Monitoring Specifications Uncertainty