Treffer: CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems

Title:
CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
Authors:
Harie, Yojiro, Ogata, Yuto, Gautam, Bishnu Prasad, Wasaki, Katsumi
Source:
2024 Twelfth International Symposium on Computing and Networking (CANDAR) CANDAR Computing and Networking (CANDAR), 2024 Twelfth International Symposium on. :30-38 Nov, 2024
Relation:
2024 Twelfth International Symposium on Computing and Networking (CANDAR)
Database:
IEEE Xplore Digital Library