A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability

資料に関する注記

一般注記：: 博士学位論文審査の要旨＋大学院紀要のためにブラッシュアップした要約版（英文）が掲載されている。学位論文全文はリンク参照。 http://hdl.handle.net/10114/12172

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

法政大学学術機関リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
法政大学学術機関リポジトリのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 雑誌
タイトル: A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability
著者・編者: 李, 漠
LI, Mo
著者標目: 李, 漠
LI, Mo
出版事項: 法政大学大学院情報科学研究科
出版年月日等: 2015-09-15
出版年（W3CDTF）: 2015-09-15
タイトル（掲載誌）: 法政大学大学院紀要. 情報科学研究科編
巻号年月日等（掲載誌）: 11
掲載巻: 11
掲載ページ: 1-13
ISSN（掲載誌）: ISSN : 24321192
本文の言語コード: jpn
対象利用者: 一般
一般注記: 博士学位論文審査の要旨＋大学院紀要のためにブラッシュアップした要約版（英文）が掲載されている。学位論文全文はリンク参照。 http://hdl.handle.net/10114/12172
記録形式（IMT）: application/pdf
一次資料へのリンクURL: 15_Info_D_Li.pdf （fulltext）
https://hosei.ecats-library.jp/da/repository/00012717/15_Info_D_Li.pdf
オンライン閲覧公開範囲: 限定公開
関連情報（NCID）: AA12746425
https://ci.nii.ac.jp/ncid/AA12746425
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 法政大学 : 法政大学学術機関リポジトリ