Formal property verification in a conformance testing framework
- Houssam Abbas
- , Hans Mittelmann
- , Georgios Fainekos
- Sensor, Signal and Information Processing Center (SenSIP)
- Mathematical and Statistical Sciences, School of (SoMSS)
- Mathematical Computational Modeling Sciences Center, Simon A. Levin (MCMSC)
- Embedded Systems, Consortium for (CES)
- Computer Science and Engineering
- Computing and Augmented Intelligence, School of (IAFSE-SCAI)
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
51
Link opens in a new tab
Scopus
citations