Proving Compliance of Implementation Models to Safety Specifications.

Markus Oertel Omar Kacimi Eckard Böde

Published in: SAFECOMP Workshops (2014)

Keyphrases

statistical model
neural network
real world
probabilistic model
complex systems
experimental data
statistical models
efficient implementation
real time
databases
image sequences
model selection