Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification

by Redge Bartholomew , Luanne Burns , Tim Daly , Rick Linger , Stacy Prowell
Citations:2 - 2 self