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