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 |
καταχωρήστε σχόλιο πρώτοι!