Download Linnk AI
•
Forskningsassistent
>
Log på
indsigt
-
高次元量子プロトコルの形式検証
高次元量子プロトコルの形式検証
量子プロセス代数を用いて高次元量子プロトコルの正しさを検証することができる。
1