Hidden Specification of a Functional System.

César Domínguez Laureano Lambán Vico Pascual Julio Rubio

Published in: EUROCAST (2001)

Keyphrases

functional analysis
high level
formal specification
genetic algorithm
user defined
neural network
machine learning
computer vision
image processing
data exchange
conceptual model
formal verification
operational semantics
hidden information