Login / Signup
bCANDLE: Formal Modelling and Analysis of CAN Control Systems.
David Kendall
Steven Bradley
William Henderson
Adrian Robson
Published in:
IEEE Real Time Technology and Applications Symposium (1998)
Keyphrases
</>
control system
neural network
wide range
information retrieval
computer vision
formal analysis
real time
learning algorithm
image processing
user interface
image analysis
evolutionary algorithm
logic programs
statistical analysis