JAIST Repository >
k. 北陸先端科学技術大学院大学(JAIST) >
k20. 学位論文 >
D-IS. 博士(情報科学) >
D-IS. 平成30年度 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/15530

タイトル: モデル検査における様々なスケジューラの取り扱いに関する研究
著者: Tran, Hoa Nhat
著者(別表記): とらん, ほあ にゃっと
キーワード: concurrent systems
model checking
scheduler
domain-speci c language
model-based testing
発行日: Sep-2018
記述: Supervisor:青木 利晃
情報科学研究科
博士
タイトル(英語): Study on Facilitating the Variation of Schedulers in Model Checking
著者(英語): Tran, Hoa Nhat
言語: eng
URI: http://hdl.handle.net/10119/15530
学位授与番号: 甲第1092号
学位授与年月日: 2018-09-21
学位名: 博士(情報科学)
学位授与機関: 北陸先端科学技術大学院大学
出現コレクション:D-IS. 平成30年度 (Jun.2018 - Mar.2019)

このアイテムのファイル:

ファイル 記述 サイズ形式
abstract.pdf要旨56KbAdobe PDF見る/開く
paper.pdf本文4014KbAdobe PDF見る/開く
summary.pdf内容の要旨及び論文審査の結果の要旨275KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係