Visible to the public Biblio

Filters: Author is Houssam Abbas  [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.
Houssam Abbas, Georgios Fainekos.  2015.  Towards composition of conformant systems.
Houssam Abbas.  2015.  Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.

\url{http://hdl.handle.net/2286/R.I.29861}