モデル検査における様々なスケジューラの取り扱いに関する研究

• Material Type: 博士論文
• Title: モデル検査における様々なスケジューラの取り扱いに関する研究
• Author/Editor: Tran, Hoa Nhat
• Author Heading: Tran, Hoa Nhat
• Publication Date: 2018-09
• Publication Date (W3CDTF): 2018-09
• Degree grantor/type: 北陸先端科学技術大学院大学
• Date Granted: 2018-09-21
• Date Granted (W3CDTF): 2018-09-21
• Dissertation Number: 甲第1092号
• Degree Type: 博士(情報科学)
• Conferring No. (Dissertation): 甲第1092号
• Text Language Code: eng
• Subject Heading: concurrent systems; model checking; scheduler; domain-speci c language; model-based testing
• Target Audience: 一般
• Note (General): Supervisor: 青木 利晃; 情報科学研究科; 博士; identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/15530
• Persistent ID (NDL): info:ndljp/pid/11217328; https://dl.ndl.go.jp/pid/11217328
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Acquisition Basis: 博士論文（自動収集）
• Date Accepted (W3CDTF): 2019-01-04T08:16:43+09:00
• Format (IMT): application/pdf
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
• Availability of remote photoduplication service: 可
• Periodical Title (URI): http://hdl.handle.net/10119/15530
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp