Compositionality for Quantitative Specifications.

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

Published in: FACS (2014)

Keyphrases

qualitative and quantitative
delay insensitive
quantitative and qualitative
data sets
high level
specification language
databases
neural network
computer vision
website
image sequences
natural language
formal specification
functional requirements
control flow