Login / Signup

Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems.

Hugues BalpEtienne BordeGrégory HaïkJean-François Tilman
Published in: ICECCS (2008)
Keyphrases
  • embedded systems
  • computing power
  • processing power
  • embedded software
  • embedded real time systems
  • low cost
  • embedded devices
  • real world
  • high level
  • software systems
  • hardware software
  • consumer electronics