M-S specification binning based on digitally coded indirect measurements.

Álvaro Gómez-Pau Luz Balado Joan Figueras

Published in: ETS (2014)

Keyphrases

formal specification
information retrieval
high level
databases
measured data
measurement noise
provably correct
machine learning
specification language
formal verification
modelling language
temporal ordering