WEKO3
アイテム
B-013 VDMによる検証支援ツールの開発(ソフトウェア,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/149067
https://ipsj.ixsq.nii.ac.jp/records/1490674f6fe25c-7973-48b3-83e9-5d497223b1bd
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006864723.pdf (221.4 kB)
|
Copyright (c) 2009 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-08-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | B-013 VDMによる検証支援ツールの開発(ソフトウェア,一般論文) | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | B-013 Development of Verification Tool by VDM | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 茨城工業高等専門学校産業技術システムデザイン工学専攻 | ||||||||||||
| 著者所属 | ||||||||||||
| 茨城工業高等専門学校電子情報工学科 | ||||||||||||
| 著者所属 | ||||||||||||
| 茨城工業高等専門学校電子情報工学科 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ibaraki National College of Technology, Advanced Course for Information | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ibaraki National College of Technology, Electronic and Computer Engineering | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ibaraki National College of Technology, Electronic and Computer Engineering | ||||||||||||
| 著者名 |
藤澤, 一博
× 藤澤, 一博
× 小飼, 敬
× 滝沢, 陽三
|
|||||||||||
| 著者名(英) |
Fujisawa, Kazuhiro
× Fujisawa, Kazuhiro
× Kogai, Kei
× Takizawa, Yozo
|
|||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA1242354X | |||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 8, 号 1, p. 379-380, 発行日 2009-08-20 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
