Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems.
Richard C. LingerMark G. PleszkochPublished in: HASE (2004)
Keyphrases
- high assurance
- technological advances
- computer systems
- operating system
- management system
- distributed systems
- learning systems
- automatic extraction
- fault tolerant
- complex systems
- data processing
- intelligent systems
- key technologies
- case study
- advanced research projects agency
- coral reef
- computer hardware
- neural network
- management information systems
- cost effective
- software systems
- real world