Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems

Richard C. Linger, Mark G. Pleszkoch. Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. In 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA. pages 267-268, IEEE Computer Society, 2004. [doi]

Authors

Richard C. Linger

This author has not been identified. Look up 'Richard C. Linger' in Google

Mark G. Pleszkoch

This author has not been identified. Look up 'Mark G. Pleszkoch' in Google