Login / Signup
Lorenzo Maldini
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Formal Methods
Probabilistic Model
Top Venues
MEDI Workshops
</>
Publications
</>
Lorenzo Maldini
,
Stephen Wright
Systematic Assessment of Formal Methods Based Models Quality Criteria.
MEDI Workshops
(2021)