文献
J-GLOBAL ID:200902229455706016
整理番号:09A0650157
形式的手法によるWebアプリケーションのモデル化と検証
Modeling and Verification of Web Applications Using Formal Approach
著者 (3件):
本間圭
(宮城大 大学院事業構想学研究科)
,
高橋薫
(仙台電波工高専)
,
富樫敦
(宮城大 大学院事業構想学研究科)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
109
号:
41(KBSE2009 1-11)
ページ:
43-48
発行年:
2009年05月14日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)