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

Li, Mo

pp.1 - 226 , 2015-09-15 , 法政大学
Full-Text

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

Number of accesses :  

Other information