Sign in

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems.

Leo HatvaniPaul PetterssonCristina Cerschi Seceleanu
Published in: FASE (2012)
Keyphrases
  • embedded systems
  • real world
  • database
  • computer simulation
  • real time systems
  • processing power
  • adaptive systems
  • embedded software
  • cooperative
  • low cost
  • resource limited