Login / Signup

Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.

Erwan MaheBoutheina BannourChristophe GastonArnault LapitrePascale Le Gall
Published in: J. Object Technol. (2024)
Keyphrases
  • mathematical models
  • analytical model
  • simulation models
  • prior knowledge
  • user interaction
  • complex systems
  • decision trees
  • experimental data
  • simulation model
  • interaction model
  • agent based simulations