学位論文 A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability

Li, Mo

pp.1 - 226 , 2015-09-15 , 法政大学
本文を読む

http://repo.lib.hosei.ac.jp/bitstream/10114/12172/1/15_point_li.pdf

http://repo.lib.hosei.ac.jp/bitstream/10114/12172/2/15_thesis_li.pdf

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

その他の情報