Items where Author is "Harous, Abdellah"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
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.