Visible to the public Biblio

Filters: Author is Hans Mittelmann  [Clear All Filters]
2018-05-15
Houssam Abbas, Hans Mittelmann, Georgios Fainekos.  2014.  Formal property verification in a conformance testing framework. 12th ACM-IEEE International Conference on Formal Methods and Models for System Design.