Sign in

Reliable execution of statechart-generated correct embedded software under soft errors.

Ronaldo Rodrigues FerreiraThomas KlotzThilo VörtlerJean da RoltGabriel L. NazarÁlvaro Freitas MoreiraLuigi CarroKarsten Einwich
Published in: DDECS (2014)
Keyphrases
  • embedded software
  • embedded systems
  • software architecture
  • development projects
  • real time
  • database systems
  • test cases
  • sequence diagrams