Items where Author is "Harous, Abdellah"
Group by: Item Type | No Grouping
Number of items: 1.
Harous, Abdellah (2023) SAT-based analysis of DNNs deployed in safety critical systems. Masters thesis, Concordia University.
Harous, Abdellah (2023) SAT-based analysis of DNNs deployed in safety critical systems. Masters thesis, Concordia University.