本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。
A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability
Available in National Diet Library
Find on the publisher's website
国立国会図書館デジタルコレクション
Digital data available
Check on the publisher's website
DOI[10.15002/00012841]to the data of the same series
Search by Bookstore
Read this material in an accessible format.
Table of Contents
2019-01-04 再収集
2019-01-04 再収集
2023-09-05 再収集
2023-09-05 再収集
2024-02-02 再収集
Search by Bookstore
Read in Disability Resources
- Other Services
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.
- Material Type
- 博士論文
- Author/Editor
- LI, Mo
- Author Heading
- Publication Date
- 2015-09-15
- Publication Date (W3CDTF)
- 2015-09-15
- Alternative Title
- 仕様アニメーションとトレーサビリティーに基づく形式仕様の検証と実証の系統的な検査アプローチ
- Degree grantor/type
- 法政大学 (Hosei University)
- Date Granted
- 2015-09-15
- Date Granted (W3CDTF)
- 2015-09-15