Validation of Embedded Systems Using Formal Method Aided Simulation.

Daniel Karlsson Petru Eles Zebo Peng

Published in: DSD (2005)

Keyphrases

embedded systems
case study
high level
reinforcement learning
computing power
resource limited