Mendeley出力
＜博士論文＞
並行処理プログラムのテスト充分性評価法に関する研究
| 作成者 | |
|---|---|
| 本文言語 | |
| 学位授与年度 | |
| 学位授与大学 | |
| 学位 | |
| 学位種別 | |
| 出版タイプ | |
| アクセス権 | |
| JaLC DOI | |
| 関連URI | |
| 目次 | 目次 まえがき 1 序論 2 並行処理プログラムの動作モデル 3 順序列テスト基準 4 定性的分析 5 テスト充分性評価支援ツールの試作 6 議論および評価 7 結論 付録A プログラム1.哲学者2人の食事問題 付録B 探針プログラムprobe.c |
詳細
| レコードID | |
|---|---|
| 査読有無 | |
| 報告番号 | |
| 学位記番号 | |
| 授与日(学位/助成/特許) | |
| 部局 | |
| 所蔵場所 | |
| 所蔵場所 | |
| 所在記号 | |
| 注記 | |
| 登録日 | 2013.07.08 |
| 更新日 | 2023.12.08 |