和崎 克己 | 信州大学大学院工学系研究科情報工学専攻
スポンサーリンク
概要
関連著者
-
和崎 克己
信州大学大学院工学系研究科
-
和崎 克己
信州大学大学院工学系研究科情報工学専攻
-
和崎 克己
信州大学大学院・情報工学
-
岩崎 直木
信州大学大学院工学系研究科
-
野村 達雄
信州大学工学部情報工学科
-
桑島 芳朗
信州大学大学院工学系研究科情報工学専攻
-
野中 聡
旭川医科大学耳鼻咽喉科・頭頸部外科学講座
-
野中 倫明
東京都立大塚病院 外科
-
Oh Hyouk
信州大学大学院工学系研究科情報工学専攻
-
岩本 一樹
日本コンピュータセキュリティリサーチ株式会社
-
呉 ヒョク
信州大学大学院工学系研究科
-
松山 千尋
信州大学大学院工学系研究科
-
長谷 卓容
信州大学大学院工学系研究科
-
岩本 一樹
広島大学大学院工学研究科情報工学専攻博士課程
-
岩本 一樹
日本コンピュータセキュリティリサーチ
著作論文
- 2V-8 P2Pオーバーレイネットワークにおける仮想接続の永続化プロトコルとその検証(ネットワーク理論・プロトコル,学生セッション,ネットワーク)
- 2L-2 モデル検査に対応する上位ハードウェア記述言語MelasyのVHDLコード生成(上流設計技術,学生セッション,アーキテクチャ)
- 2L-1 モデル検査に対応する上位ハードウェア記述言語MelasyとXML中間表現(上流設計技術,学生セッション,アーキテクチャ)
- A-031 モデル検査系に対応する上位ハードウェア設計言語Melasy(A分野:モデル・アルゴリズム・プログラミング)
- 2L-6 時間制約ガード付LOTOS仕様(E-LOTOS)による論理回路ライブラリDILLの拡張(上流設計技術,学生セッション,アーキテクチャ)
- コンピュータウイルスのコード静的解析による特徴抽出と分類について
- M-065 P2P仮想ネットワークにおける移動体接続の永続化プロトコルとモデル検査(ユビキタス・モバイルコンピューティング,一般論文)
- C-038 Time-Petri Netを用いた非同期回路のモデル化と階層化設計(ハードウェア・アーキテクチャ,一般論文)
- C-035 ハードウェア上位設計HDCamlから形式記述言語LOTOSへのコード生成と論理回路ライブラリの構築(ハードウェア・アーキテクチャ,一般論文)
- B-014 VDM-SLの陽仕様記述からLispファミリ言語Schemeへの変換(ソフトウェア,一般論文)
- 電子テキストを利用した情報リテラシ教育の実施結果収集を行う大規模エージェントベースシステムの開発と評価