WEKO3
アイテム / Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata / TE-PR-YAMANE-S-527
TE-PR-YAMANE-S-527
ファイル | ライセンス |
---|---|
TE-PR-YAMANE-S-527.pdf (735.5 kB) sha256 5d0e7e0ac075d21ffd23db77f2575b9aca625f427d3fa4c1da17166dcb952434 |
公開日 | 2017-10-03 | |||||
---|---|---|---|---|---|---|
ファイル名 | TE-PR-YAMANE-S-527.pdf | |||||
本文URL | https://kanazawa-u.repo.nii.ac.jp/record/7465/files/TE-PR-YAMANE-S-527.pdf | |||||
ラベル | TE-PR-YAMANE-S-527.pdf | |||||
フォーマット | application/pdf | |||||
サイズ | 735.5 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|