雑誌

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

Icons representing 雑誌

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

Material type
雑誌
Publisher
法政大学大学院情報科学研究科
Publication date
2015-09-15
Publication Frequency
-
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

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

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • HOSEI UNIVERSITY REPOSITORY

    Digital
    You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース(IRDB)(機関リポジトリ) is linked at the site of 学術機関リポジトリデータベース(IRDB)(機関リポジトリ).

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
雑誌
Author/Editor
李, 漠
LI, Mo
Author Heading
Publication, Distribution, etc.
Publication Date
2015-09-15
Publication Date (W3CDTF)
2015-09-15
Periodical title
法政大学大学院紀要. 情報科学研究科編
No. or year of volume/issue
11
Volume
11