صورة الغلاف

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
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
كن أول من يترك تعليقا!
يجب تسجيل دخولك أولا