Systems and Software Open PDF Document Details Document Type Technical Report Publication Date Mar 06, 2013 Accession Number ADA579162 Entities People Kathleen M. Kaplan Organizations Air Force Research Laboratory Tags Communities of Interest Cyber Materials and Manufacturing Processes DTIC Thesaurus Topics Air Force Air Force Research Laboratories Aircrafts Algorithms Computational Modeling Computational Processes Fault Tolerance Human-Machine Systems Information Operations Information Systems Integrated Systems Language Mathematics Parallel Computing Parallel Processing Programming Languages Verification