Terminator: Beyond Safety.

Byron Cook Andreas Podelski Andrey Rybalchenko

Published in: CAV (2006)

Keyphrases

multiresolution
database
databases
neural network
e learning
high level
face recognition
data structure
digital libraries
artificial neural networks
special case
safety critical
civil aviation