詳細情報

刊年

1999

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1999年3月

注記

学位記番号: 修第960号

授与年月日: 1999/03/24

学位の種類: 修士(工学)

学生番号: 9751093

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

藤野, 和久 (フジノ, カズヒサ)

件名

シーケンス制御

SFC

ペトリネット

時相論理

モデルチェッキング