Login / Signup
Towards the exhaustive verification of real-time aspects in controller implementation.
Carlo A. Furia
Marco Mazzucchelli
Paola Spoletini
Mara Tanelli
Published in:
CACSD (2008)
Keyphrases
</>
real time
control system
graphics processing units
low cost
efficient implementation
formal methods
vlsi architecture
neural network
general purpose
model checking
control loop
dedicated hardware
activity monitoring