Alwyn Goodloe NASA Langley Research Center Challenges in the Verification of Flight-Critical Systems.
04.19.10 Spartan Daily
Engineering South Australia, June 2010
3-1-10