• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

REFINER: Towards Formal Verification of Model Transformations.

Anton WijsLuc Engelen
Published in: NASA Formal Methods (2014)
Keyphrases
  • mathematical model
  • formal verification
  • experimental data
  • probabilistic model
  • maximum likelihood
  • formal model
  • objective function
  • statistical model
  • conceptual model
  • partial information