Login / Signup

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code.

Nurlida BasirEwen DenneyBernd Fischer
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • automatically generated
  • automatically generate
  • code generator
  • manually created
  • automatically generating
  • automatically created
  • manually generated
  • manually constructed
  • knowledge base
  • medical images
  • third party