Login / Signup

Systematic Assessment of Formal Methods Based Models Quality Criteria.

Lorenzo MaldiniStephen Wright
Published in: MEDI Workshops (2021)
Keyphrases
  • formal methods
  • probabilistic model
  • reactive systems
  • artificial intelligence
  • expert systems