Systematic assessment of formal methods based models quality criteria
(2021)
Presentation / Conference Contribution
When presented with two fully proved formal methods-based specifications, how can a System Engineer decide which is superior when both models specify the same requirements, but in two different ways? This paper investigates and propose a methodology... Read More about Systematic assessment of formal methods based models quality criteria.