モデル検査・エミュレーション技術の融合による組込み機器のためのテスト実行環境の研究 - テスト実行環境の構築と製品適用によるテスト効率化の評価 -

• Material Type: 博士論文
• Title: モデル検査・エミュレーション技術の融合による組込み機器のためのテスト実行環境の研究 - テスト実行環境の構築と製品適用によるテスト効率化の評価 -
• Author/Editor: 黒岩, 丈瑠
• Author Heading: 黒岩, 丈瑠
• Publication Date: 2020-03-25
• Publication Date (W3CDTF): 2020-03-25
• Alternative Title: A hybrid testing environment between model checker and emulator for embedded devices - Construction and evaluation of the environment through application to product development -
• Contributor: 久代, 紀之
• Degree grantor/type: 九州工業大学
• Date Granted: 2020-03-25
• Date Granted (W3CDTF): 2020-03-25
• Dissertation Number: 甲第348号
• Degree Type: 博士（情報工学）
• Conferring No. (Dissertation): 甲情工第348号
• Text Language Code: jpn
• Subject Heading: モデル検査; エミュレーション; 組込み機器; テスト
• Target Audience: 一般
• Note (General): 九州工業大学博士学位論文 学位記番号: 情工博甲第348号 学位授与年月日:令和2年3月25日; 令和元年度
• DOI: 10.18997/00007776; https://doi.org/10.18997/00007776
• Persistent ID (NDL): info:ndljp/pid/11511614; https://dl.ndl.go.jp/pid/11511614
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Acquisition Basis: 博士論文（自動収集）
• Date Accepted (W3CDTF): 2020-07-06T20:31:19+09:00
• Date Created (W3CDTF): 2020-06-02
• Format (IMT): application/pdf
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
• Availability of remote photoduplication service: 可
• Periodical Title (URI): https://doi.org/10.18997/00007776; http://hdl.handle.net/10228/00007776
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

2023-08-05 再収集

2023-10-11 再収集