Correctness issues on MARTE/CCSL constraints.

Frédéric Mallet Robert de Simone

Published in: Sci. Comput. Program. (2015)

Keyphrases

multiple constraints
fundamental issues
key issues
constraint solving
similarity measure
database
user interface
artificial neural networks
practical issues
linear constraints
linear programming
information technology
image processing
decision making
artificial intelligence
learning algorithm
information retrieval