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

https://hosei.repo.nii.ac.jp/?action=repository_action_common_download&item_id=12848&item_no=1&attribute_id=20&file_no=1

https://hosei.repo.nii.ac.jp/?action=repository_action_common_download&item_id=12848&item_no=1&attribute_id=20&file_no=2

Number of accesses :  

Other information