IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case.

Kazuki Kakimoto, Kensuke Sasaki, Hiroki Umeda, Yasushi Ueda

Browse the full ISSRE paper archive.