| アイテムタイプ |
[ELS]紀要論文 / Departmental Bulletin Paper(1) |
| 公開日 |
2009-01-01 |
| タイトル |
|
|
タイトル |
Webアプリケーションの変数を用いたモデル化と形式的手法による検査 |
|
言語 |
ja |
| タイトル |
|
|
タイトル |
Modeling and Verification of Web Applications Using Formal Approach with Variables |
|
言語 |
en |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
departmental bulletin paper |
| ID登録 |
|
|
ID登録 |
10.15085/00000142 |
|
ID登録タイプ |
JaLC |
| 雑誌書誌ID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11345848 |
| 雑誌書誌ID |
|
|
関連タイプ |
isPartOf |
|
|
識別子タイプ |
ISSN |
|
|
関連識別子 |
1344-607X |
|
|
言語 |
ja |
|
|
関連名称 |
宮城大学事業構想学部紀要 |
| 著者 |
本間, 圭
和泉, 諭
高橋, 薫
富樫, 敦
|
| 著者所属(日) |
|
|
|
宮城大学大学院事業構想学研究科 |
| 著者所属(日) |
|
|
|
東北大学電気通信研究所情報科学研究科 |
| 著者所属(日) |
|
|
|
仙台高等専門学校 |
| 著者所属(日) |
|
|
|
宮城大学大学院事業構想学研究科 |
| 記事種別(日) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
論文 |
| 記事種別(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Article |
| 書誌情報 |
ja : 宮城大学事業構想学部紀要
巻 12,
p. 91-104
|
| 表示順 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
9 |
| アクセション番号 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
KJ00006715599 |
KJ00006715599.pdf (3.3 MB)
