Login / Signup

A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report.

Lazar CrawfordJared ErwinSteafano GrimaldiSoma MitraAndrew J. KorneckiDavid P. Gluch
Published in: HASE (2004)
Keyphrases
  • safety critical
  • software development
  • code generation
  • fault tolerant
  • embedded systems
  • formal methods
  • information systems
  • decision making
  • case study
  • source code
  • software systems