磯部 祥尚 | 産業技術総合研究所
スポンサーリンク
概要
関連著者
-
磯部 祥尚
産業技術総合研究所
-
只野 賢二
フェリカネットワークス株式会社
-
磯部 祥尚
電子技術総合研究所
-
磯部 祥尚
産業技術総合研究所情報技術研究部門
-
大蒔 和仁
電総研
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
三部 良太
(株)日立製作所
-
鈴木 正人
北陸先端科学技術大学院大学情報科学研究科
-
鈴木 正人
北陸先端科学技術大学院大学
-
鈴木 正人
(株)ルネサステクノロジ
-
村田 大二郎
株式会社日立製作所システム開発研究所
-
三部 良太
日立製作所
-
鈴木 正人
北陸先端科学技術大学院大
-
海津 智宏
北陸先端科学技術大学院大学
-
三部 良太
株式会社日立製作所システム開発研究所
-
Roggenbach Markus
産業技術総合研究所
-
ROGGENBACH MARKUS
ウェールズ大学スウォンジー校
-
磯部 祥尚
産業技術総合研究所:マーカス・ローゲンバッハ スウォンジー大学
-
Roggenbach Markus
産業技術総合研究所:マーカス・ローゲンバッハ スウォンジー大学
-
ローゲンバッハ マーカス
産業技術総合研究所:マーカス・ローゲンバッハ,スウォンジー大学
著作論文
- Promelaにおける割り込み制御処理の半自動モデル化 (コンカレント工学)
- Promelaにおける割り込み制御処理の半自動モデル化 (信号処理)
- Promelaにおける割り込み制御処理の半自動モデル化 (VLSI設計技術)
- Promelaにおける割り込み制御処理の半自動モデル化 (回路とシステム)
- 並行システムを解析するための逐次化と状態削減機能の実装--仕様の自動生成を目指して (信号処理)
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- CAS2010-25 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- CAS2010-24 Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
- タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)
- CSP-Prover : スケーラブルな並行システムの検証のための証明器(エージェント)
- CSP-Prover:プロセス代数CSPのための定理証明器
- プロセス計算におけるセキュリティ
- エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
- 真の並行プロセス代数のための決定可能な局所プロセス論理
- 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性