Conference
Formal Verification of Deep Neural Networks for Image Classification in Industrial Environments
| Τίτλος: | Formal Verification of Deep Neural Networks for Image Classification in Industrial Environments |
|---|---|
| Συγγραφείς: | Abreu, Manuel, Garrote, Luis, Bento, Luis Conde, Schmerl, Bradley, Nunes, Urbano J., Garlan, David |
| Πηγή: | 2026 16th International Conference on Information Science and Technology (ICIST) Information Science and Technology (ICIST), 2026 16th International Conference on. :385-393 Oct, 2026 |
| Relation: | 2026 16th International Conference on Information Science and Technology (ICIST) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798319543110 9798319505392 |
|---|---|
| ISSN: | 25733311 21644357 |
| DOI: | 10.1109/ICIST71072.2026.11727805 |