| 詳細情報 |  |
|---|---|
| 関連リンク |  |
| 探す |  |
所属機関・部署：
職名： 教授
競争的資金等の研究課題 (4件)：
MISC (23件)：
書籍 (2件)：
学位 (1件)：
経歴 (2件)：
前のページに戻る
琉球大学 工学部 電気電子工学科
琉球大学 工学部 電気電子工学科 について
職名： 教授
競争的資金等の研究課題 (4件)：
- 多値論理と様相論理
- 計算機アーキテクチャー
- フォールトトレラントシステム
- -
- Y Nagata, M Mukaidono. B-ternary asynchronous digital system under relativity delay. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2003. E86D. 5. 910-919
- 長田康敬. Efficient Model Checking of Asynchronous Systems Exploiting Temporal Order-Based Reduction Method. Proc. Int'l Tech. Conf. on Circuit/Systems, Computers and Communications. 2002. II. 1964-1967
- 長田康敬. Efficient Model Checking of Asynchronous Systems Exploiting Temporal Order-Based Reduction Method. Proc. Int'l Tech. Conf. on Circuit/Systems, Computers and Communications. 2002. II. 1964-1967
- 長田康敬. On Asynchronous Dataflow Computer. Proc. The Second Korea-Japan Joint Symp. on Multiple-Valued Logic, JS-MVL2001. 2001
- 長田康敬. Efficient Verification of Asynchronous Circuits Exploiting Temporal Order-Based Reduced-STG. Proc. Int'l Tech. Conf. on Circuit/Systems, Computers and Communications. 2001. II. 965-968
- 情報数学入門 (共著)
2006 ISBN:4320018141 - 情報数学入門 (共著)
2006 ISBN:4320018141
- 工学博士 (明治大学)
- - , 琉球大学 工学部 教授
- - , University of the Ryukyus, Faculty of Engineering, Professor
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。
前のページに戻る
