Verification and Implementation of Dependable Controllers.

Krzysztof Sacha

Published in: DepCoS-RELCOMEX (2008)

Keyphrases

model checking
databases
efficient implementation
signature verification
controller design
data sets
neural network
machine learning
information retrieval
multiscale
search algorithm
control system
general purpose