Sign in

Model-based testing of probabilistic systems.

Marcus GerholdMariëlle Stoelinga
Published in: Formal Aspects Comput. (2018)
Keyphrases
  • databases
  • support vector machine
  • software engineering
  • distributed systems
  • computer systems
  • life cycle
  • model based testing