Theorem-Proving Verification for Asynchronous Circuits
-
- Nishimura Shunji
- Kumamoto University
-
- Amagasaki Motoki
- Kumamoto University
-
- Kuga Morihiro
- Kumamoto University
-
- Iida Masahiro
- Kumamoto University
-
- Sueyoshi Toshinori
- Kumamoto University
この論文をさがす
収録刊行物
-
- 革新的コンピューティング・情報・制御に関する国際誌
-
革新的コンピューティング・情報・制御に関する国際誌 12 (03), 761-, 2016
ICIC International 学会