Login / Signup

A verified wireless safety critical hard real-time design.

Hernan Baro GrafHolger HermannsJuhi KulshresthaJens PeterAnjo VahldiekAravind Vasudevan
Published in: WOWMOM (2011)
Keyphrases
  • safety critical
  • embedded systems
  • design process
  • formal methods
  • fault tolerant
  • real time
  • information systems
  • mobile devices
  • safety analysis
  • object oriented
  • medical images
  • agent architecture