'formal specification'에 해당되는 글 2건

  1. 2008/04/05 V&V : Verification and validation 3/3
  2. 2008/03/28 Requirements Engineering : Formal Specification