研究者詳細情報
| 研究者 | 緒方 和博 |
|---|---|
| 大学 | JAIST 情報科学系、知能ロボティクス領域 |
| 研究室名 | https://www.jaist.ac.jp/~ogata/lab/ |
| 専門分野 | 計算機科学、ソフトウェア工学，形式手法 |
| 研究テーマ | モデル検査，書き換え，仕様記述，定理証明，検証 |
| 検索キーワード |
計算機科学、ソフトウェア工学，形式手法，モデル検査，書き換え，仕様記述，定理証明，検証
|
| PR URL | |
| PRタイトル名 | |
| PR詳細文 (図) |
|
| 特許 | |
| 論文 | |
| 科研費 |