Login / Signup
Verification of Automotive Control Units.
Tom Bienmüller
Jürgen Bohn
Henning Brinkmann
Udo Brockmeyer
Werner Damm
Hardi Hungar
Peter Jansen
Published in:
Correct System Design (1999)
Keyphrases
</>
control system
model checking
control problems
machine learning
cooperative
control method
databases
neural network
real world
artificial intelligence
decision making
website
multiscale
data acquisition
robotic systems
control strategies