Sign in

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems.

Eun-Young KangPierre-Yves Schobbens
Published in: ICCA (2013)
Keyphrases
  • real time systems
  • energy aware
  • embedded systems
  • wireless sensor networks
  • formal methods
  • real time
  • intelligent systems
  • power consumption
  • modeling language