תמונות העטיפה

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

שמור ב:
הוצא לאור ב:arXiv.org (Dec 11, 2024), p. n/a
מחבר ראשי: Harie, Yojiro
מחברים אחרים: Ogata, Yuto, Gautam, Bishnu Prasad, Wasaki, Katsumi
יצא לאור:
Cornell University Library, arXiv.org
נושאים:
Program verification (computers)
Computer vision
Python
Image processing
Vision systems
גישה מקוונת:Citation/Abstract
Full text outside of ProQuest
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
היה/י הראשונ/ה לכתוב הערה!
צריך להיות מחובר מראש