一般雑誌記事 A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability

李, 漠

11pp.1 - 13 , 2016-03-24 , 法政大学大学院情報科学研究科
ISSN:2432-1192
内容記述
学位論文の要旨ならびに審査の要旨
本文を読む

http://repo.lib.hosei.ac.jp/bitstream/10114/12202/1/15_Info_D_Li.pdf

このアイテムのアクセス数:  回

その他の情報