佐藤 豊 | 電子技術総合研究所 情報アーキテクチャ部
スポンサーリンク
概要
関連著者
-
佐藤 豊
電子技術総合研究所情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所 情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
大蒔 和仁
電子技術総合研究所
-
大蒔 和仁
電総研
-
磯部 祥尚
電子技術総合研究所
-
磯辺 祥尚
電子技術総合研究所 情報アーキテクチャ部
-
中田 秀基
電子技術総合研究所
-
中田 秀基
電総研
-
相澤 彰子
学術情報センター研究開発部
-
金 紀柄
ソウル大学校
著作論文
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- プロトコル中継システムDeleGateの開発ストーリー(ものを作るこころ(第23回))
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 現実の並行システムへのプロセス代数の応用 : 経験と課題
- 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
- 分散オブジェクト指向UIMSの実行時ア-キテクチャの設計と実現 (柔構造情報処理方式に関する研究)
- HTTPメッセージのコンテンツ変換を行う共通フィルタサーバの設計と試作(システム分野)
- インターネット防火壁の基礎技術と応用 : DeleGateの仕組み
- 5. 事例 5.2 多重言語を指向する統合プログラミングシステムの開発経験 (<大特集>新しいプログラミング環境)