Sign in

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

Álvaro Gómez-PauLuz BaladoJoan 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