Fingerprint
Dive into the research topics of 'Formal property verification in a conformance testing framework'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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
45
Scopus
citations