<博士論文>
並行処理プログラムのテスト充分性評価法に関する研究

作成者
本文言語
学位授与年度
学位授与大学
学位
学位種別
出版タイプ
アクセス権
JaLC DOI
関連URI
目次 目次 まえがき 1 序論 2 並行処理プログラムの動作モデル 3 順序列テスト基準 4 定性的分析 5 テスト充分性評価支援ツールの試作 6 議論および評価 7 結論 付録A プログラム1.哲学者2人の食事問題 付録B 探針プログラムprobe.c

本文情報を非表示

itou pdf 10.1 MB 170  

詳細

レコードID
査読有無
報告番号
学位記番号
部局
所蔵場所
所蔵場所
所在記号
注記
登録日 2013.07.08
更新日 2020.10.09

この資料を見た人はこんな資料も見ています