机构名称：
¥ 1.0
对大量子系统编程的验证模拟变得流行，这些语言和编译器可以在Diff Erent平台上运行程序。我们甚至拥有确保正确执行的认证编译器。该项目旨在考虑量子计算机的微妙特征，以建立量子计算的有前途的轨迹。这将通过将软件测试和量子模拟方面的专业知识汇总在一起来实现。这项研究的结果将导致用于量子计算应用程序的验证软件以及对量子计算的广泛且有效的开发。
kcl nmes Quantum
主要关键词
相关文件推荐
