Compositionality for quantitative specifications.

Uli Fahrenberg Jan Kretínský Axel Legay Louis-Marie Traonouez

Published in: Soft Comput. (2018)

Keyphrases

qualitative and quantitative
delay insensitive
genetic algorithm
quantitative and qualitative
database
neural network
artificial intelligence
information systems
reactive systems
concurrent systems
high level
learning environment
digital libraries
association rules
specification language