WEKO3
アイテム / Dynamic Linear Hybrid Automata and Their Applications to Formal Verification of Dynamic Reconfigurable Embedded Systems / Full-N-1323112012-yanase-ryo
Full-N-1323112012-yanase-ryo
ファイル | ライセンス |
---|---|
Full-N-1323112012-yanase-ryo.pdf (3.3 MB) sha256 8952d235623b61a2a4fb2f61f1909b5ff2305cd15d6e779f17ffc6df22284a57 |
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0) |
公開日 | 2018-02-27 | |||||
---|---|---|---|---|---|---|
ファイル名 | Full-N-1323112012-yanase-ryo.pdf | |||||
本文URL | https://kanazawa-u.repo.nii.ac.jp/record/43896/files/Full-N-1323112012-yanase-ryo.pdf | |||||
ラベル | Full-N-1323112012-yanase-ryo.pdf | |||||
フォーマット | application/pdf | |||||
サイズ | 3.3 MB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|