Towards Consistent Specifications of Product Families.

Alexander Harhurin Judith Hartmann

Published in: FM (2008)

Keyphrases

delay insensitive
artificial neural networks
database
real time
machine learning
genetic algorithm
feature selection
decision making
image segmentation
user interface
evolutionary algorithm
control flow
formal verification
operational semantics
concurrent systems