拡張有限状態機械でモデル化されたプロトコルに対する試験系列生成の効率化

拡張有限状態機械でモデル化されたプロトコルに対する試験系列生成の効率化

カクチョウ ユウゲン ジョウタイ キカイ デ モデルカ サレタ プロトコル ニ タイスル シケンケイレツ セイセイ ノ コウリツカ

津森靖

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

Thesis / Diss.

Volume No.

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

1

R000577

2

  • [IS]1997(7)

Restricted

Details

Publication year

1997

Series title

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

Note

学位記番号: 修第417号

授与年月日: 1997/03/24

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

学生番号: 9551069

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

津森, 靖 (ツモリ, ヤスシ)

Subject

通信プロトコル

適合性試験

拡張有限状態機械

試験系列

IrLAP