雷達程式轉換與測試驗證
| dc.contributor.author | 黃國安 | en_US |
| dc.contributor.department | 國立交通大學資訊工程學系 | zh_TW |
| dc.date.accessioned | 2014-12-13T10:35:57Z | |
| dc.date.available | 2014-12-13T10:35:57Z | |
| dc.date.issued | 2001 | en_US |
| dc.description.sponsorship | 行政院國家科學委員會 | zh_TW |
| dc.identifier.govdoc | NSC90-2623-7009-003 | zh_TW |
| dc.identifier.uri | https://www.grb.gov.tw/search/planDetail?id=620982&docId=115778 | en_US |
| dc.identifier.uri | https://ir.lib.nycu.edu.tw/handle/11536/93676 | |
| dc.language.iso | zh_TW | en_US |
| dc.subject | 雷達 | zh_TW |
| dc.subject | 程式轉換 | zh_TW |
| dc.subject | 軟體測試 | zh_TW |
| dc.subject | Radar | en_US |
| dc.subject | Program transformation | en_US |
| dc.subject | Software testing | en_US |
| dc.title | 雷達程式轉換與測試驗證 | zh_TW |
| dc.title | The Translation and Verification of Radar Software | en_US |
| dc.type | Plan | en_US |
Files
License bundle
1 - 1 of 1
Loading...
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed to upon submission
- Description: