A Formal Reference for SCOOP.

Benjamin Morandi Sebastian Nanz Bertrand Meyer

Published in: LASER Summer School (2010)

Keyphrases

formal model
machine learning
trade off
formal specification
formal methods
databases
neural network
genetic algorithm
artificial intelligence
feature extraction
reference frame
formal models