An Experience in Embedded Control Software Verification.

Pierluigi Rolando Riccardo Sisto

Published in: ETFA (2009)

Keyphrases

control system
real time
social networks
multiresolution
process control
control problems
control theory
real time control