Testing semantics and proof techniques for extended communicating process models

著者

• 結縁, 祥治 ユエン, ショウジ

書誌事項

Testing semantics and proof techniques for extended communicating process models

Shoji Yuen

[s.n.], [1997]

タイトル別名

通信プロセスモデルの拡張とテスト意味論に基づく証明技法に関する研究

注記

Thesis (Ph.D.)--Nagoya University. Graduate School of Engineering, 1997

Kind of academic degree: 博士(工学)

Date degree granted: 1997-03-12

Report number: 乙第5174号

詳細情報

• NII書誌ID(NCID): BB14848545
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [S.l.]
• ページ数/冊数: 156 p.
• 大きさ: 30 cm