A Lesson on Runtime Assertion Checking with Frama-C.

Nikolai Kosmatov Julien Signoles

Published in: RV (2013)

Keyphrases

learning objects
computer vision
data sets
neural network
genetic algorithm
three dimensional
cooperative