Article 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
Description
学位論文の要旨ならびに審査の要旨
Full-Text

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

Number of accesses :  

Other information