WEKO3
アイテム
アーキテクチャに基づく区間振る舞いモデルを用いた記述法と形式検証法
https://nanzan-u.repo.nii.ac.jp/records/4286
https://nanzan-u.repo.nii.ac.jp/records/42864e51716e-8983-4e40-83ff-e025bdb2e0e2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
アーキテクチャに基づく区間振る舞いモデルを用いた記述法と形式検証法 (158.8 kB)
|
.png)
|
| アイテムタイプ | 報告書 / Research Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-11-30 | |||||||||||
| タイトル | ||||||||||||
| タイトル | アーキテクチャに基づく区間振る舞いモデルを用いた記述法と形式検証法 | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | Description method and formal verification method with section behavior model based on software architecture | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||||||||
| 資源タイプ | research report | |||||||||||
| 研究代表者 |
張, 漢明
× 張, 漢明
× CHANG, Han-Myung
|
|||||||||||
| 研究分担者 | ||||||||||||
| 姓名 | 野呂, 昌満 | |||||||||||
| 姓名 | ノロ, マサミ | |||||||||||
| 研究分担者 | ||||||||||||
| 姓名 | 沢田, 篤史 | |||||||||||
| 姓名 | サワダ, アツシ | |||||||||||
| 研究分担者別名 | ||||||||||||
| 姓名 | NORO, Masami | |||||||||||
| 研究分担者別名 | ||||||||||||
| 姓名 | SAWADA, Atsushi | |||||||||||
| 書誌情報 |
科学研究費助成事業 研究成果報告書 p. [1]-[9], 発行日 2022-06-13 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 南山大学 | |||||||||||
| 報告年度 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 2021 | |||||||||||
| 言語 | ja | |||||||||||
| 研究課題番号 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 19K11911 (科研費) | |||||||||||
| 言語 | ja | |||||||||||
| 研究課題名 | ||||||||||||
| タイトル | アーキテクチャに基づく区間振る舞いモデルを用いた記述法と形式検証法 | |||||||||||
| 言語 | ja | |||||||||||
| 研究代表者番号 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 90329756 (科研費) | |||||||||||
| 言語 | ja | |||||||||||
| 研究機関 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 南山大学 | |||||||||||
| 言語 | ja | |||||||||||
| 研究機関ID | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 33917 (科研費) | |||||||||||
| 言語 | ja | |||||||||||
| 助成元 | ||||||||||||
| 言語 | ja | |||||||||||
| 値 | 日本学術振興会 | |||||||||||
| 内容記述 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | アーキテクチャに基づく区間振る舞いモデルを用いた記述法と形式検証法 2019～2021年度科学研究費助成事業 (基盤研究(C)(一般)) 研究成果報告書 |
|||||||||||
| 言語 | ja | |||||||||||
| 関連サイト | ||||||||||||
| 識別子タイプ | URI | |||||||||||
| 関連識別子 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19K11911/ | |||||||||||
| 著者版フラグ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
