Login / Signup
Systematic Assessment of Formal Methods Based Models Quality Criteria.
Lorenzo Maldini
Stephen Wright
Published in:
MEDI Workshops (2021)
Keyphrases
</>
formal methods
probabilistic model
reactive systems
artificial intelligence
expert systems