A Study on a Quantitative V&V for Safety-Critical Software

  • 발행 : 2004.10.28