Login / Signup
Compositionality for Quantitative Specifications.
Uli Fahrenberg
Jan Kretínský
Axel Legay
Louis-Marie Traonouez
Published in:
CoRR (2014)
Keyphrases
</>
qualitative and quantitative
delay insensitive
high level
quantitative and qualitative
formal specification
databases
search engine
test cases
model checking
finite state machines
controlled natural language