WEKO3
アイテム
［博士論文紹介］Supporting Planning and Refactoring of Refinement Structure of Event-B Models
https://ipsj.ixsq.nii.ac.jp/records/183931
https://ipsj.ixsq.nii.ac.jp/records/18393175c20c07-2315-49bd-98e3-a9fbf84531b5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE17197001.pdf (82.3 kB)
|
Copyright (c) 2017 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-11-02 | |||||||
| タイトル | ||||||||
| タイトル | ［博士論文紹介］Supporting Planning and Refactoring of Refinement Structure of Event-B Models | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Supporting Planning and Refactoring of Refinement Structure of Event-B Models | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 招待講演 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 国立情報学研究所 | ||||||||
| 著者名 |
小林, 努
× 小林, 努
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2017-SE-197, 号 1, p. 1-1, 発行日 2017-11-02 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 2188-8825 | |||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
