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

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

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

津森靖

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

学位論文

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R000577

2

  • [IS]1997(7)

禁帯出

詳細情報

刊年

1997

シリーズ名

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

注記

学位記番号: 修第417号

授与年月日: 1997/03/24

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

学生番号: 9551069

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

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

件名

通信プロトコル

適合性試験

拡張有限状態機械

試験系列

IrLAP