Login / Signup

Use of Static Code Analysis to Support the Safety Certification of Airborne Software.

Richard GranvilleKeith Harrison
Published in: SSS (1998)
Keyphrases
  • static analysis
  • source code
  • dynamic analysis
  • software development
  • analysis tool
  • database systems
  • software systems
  • web services
  • user interface
  • infrared