Login / Signup

Fast Debugging of PRISM Models.

Christian DehnertNils JansenRalf WimmerErika ÁbrahámJoost-Pieter Katoen
Published in: ATVA (2014)
Keyphrases
  • probabilistic model
  • statistical models
  • complex systems
  • statistical model
  • model selection
  • experimental data
  • metamodel