• Top
  • Details (Local collection)
シーケンス制御系の設計と検証

シーケンス制御系の設計と検証

シーケンス セイギョケイ ノ セッケイ ト ケンショウ

藤野和久

生駒 : 奈良先端科学技術大学院大学, 1999.3

Thesis / Diss.

Volume No.

Total: 1
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R000924

2

  • [IS]1999(8)

Restricted

Details

Publication year

1999

Series title

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

Note

学位記番号: 修第960号

授与年月日: 1999/03/24

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

学生番号: 9751093

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

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

Subject

シーケンス制御

SFC

ペトリネット

時相論理

モデルチェッキング