Login / Signup

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.

A. Tankeu-ChoitatDavid NavarrePhilippe A. PalanqueYannick DelerisJean-Charles FabreCamille Fayollas
Published in: PRDC (2011)
Keyphrases
  • computer graphics
  • building blocks
  • databases
  • user interaction
  • user friendly
  • real time
  • website
  • database systems
  • virtual reality
  • design patterns