|
イナヅミ ヒロシゲ
INAZUMI Hiroshige
稲積 宏誠 所属 青山学院大学 社会情報学部 社会情報学科 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 1999/10 |
| 形態種別 | 「大学・研究所等紀要」、「学術雑誌」以外 |
| 査読 | 査読あり |
| 標題 | “A New Scheme for Verifying Rule-Based Systems Using Petri Nets” |
| 執筆形態 | 共同 |
| 掲載誌名 | IEEE International Conference on Systems, Man and Cybernetics |
| 巻・号・頁 | 1,860-865頁 |
| 著者・共著者 | *Hiroshige Inazumi,Tadahiro Omoto |