|
|
JAIST Repository >
著者: "緒方, 和博"
4 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI |
| 10-Apr-2009 | 証明支援系とモデル検査器を効果的に利用できる環境と方法論 | 緒方, 和博; OGATA, KAZUHIRO |
| 23-Apr-2014 | 論理式肥大に伴う活性のモデル検査の非効率化の改善 | 緒方, 和博; Ogata, Kazuhiro |
| 2-Jun-2017 | 分散システムを計算の対象とする分散アルゴリズムのモデル検査に関する研究 | 緒方, 和博; Ogata, Kazuhiro |
|
