磯部 祥尚 | 電子技術総合研究所
スポンサーリンク
概要
関連著者
-
磯部 祥尚
電子技術総合研究所
-
大蒔 和仁
電子技術総合研究所
-
大蒔 和仁
電総研
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
磯部 祥尚
産業技術総合研究所
-
佐藤 豊
電子技術総合研究所情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所 情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所
-
只野 賢二
フェリカネットワークス株式会社
-
小島 功
電総研情報アーキテクチャ部ネットワーク情報ベースラボ
-
小島 功
電子技術総合研究所
-
小島 功
産業技術総合研究所情報技術研究部門
-
小島 功
京都大学工学部
-
小島 功
産業技術総合研究所グリッド研究センター
-
小島 功
電総研情報アーキテクチャ部
-
三部 良太
(株)日立製作所
-
鈴木 正人
北陸先端科学技術大学院大学情報科学研究科
-
鈴木 正人
北陸先端科学技術大学院大学
-
鈴木 正人
(株)ルネサステクノロジ
-
村田 大二郎
株式会社日立製作所システム開発研究所
-
三部 良太
日立製作所
-
中田 秀基
電子技術総合研究所
-
中田 秀基
電総研
-
鈴木 正人
北陸先端科学技術大学院大
-
海老原 一郎
電子技術総合研究所情報アーキテクチャ部
-
海老原 一郎
電子技術総合研究所情報アーキテクチャー部
-
海津 智宏
北陸先端科学技術大学院大学
-
三部 良太
株式会社日立製作所システム開発研究所
-
ROGGENBACH MARKUS
ウェールズ大学スウォンジー校
著作論文
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- CAS2010-24 Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)
- CSP-Prover:プロセス代数CSPのための定理証明器
- プロセス計算におけるセキュリティ
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- プロセス論理演算子をもつプロセス代数