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

Leo Hatvani Paul Pettersson Cristina 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