Model-Based Verification of Automotive Control Software.

Rance Cleaveland

Published in: FMICS (2008)

Keyphrases

control software
control system
model checking
face verification
data sets
bayesian networks
data structure
data driven
e learning
artificial neural networks
formal verification