صورة الغلاف

Towards Classical Software Verification using Quantum Computers

محفوظ في:
الحاوية / القاعدة:The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
المؤلف الرئيسي: Issel, Sebastian
مؤلفون آخرون: Kilian Tscharke, Debus, Pascal
منشور في:
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
الموضوعات:
Algorithms
Quantum computing
Program verification (computers)
Errors
Quantum computers
Software
Polynomials
Optimization
Economic
الوصول للمادة أونلاين:Citation/Abstract
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
كن أول من يترك تعليقا!
يجب تسجيل دخولك أولا