Validation and Verification techniques for

Antzeko izenburuak

• Verification and validation in systems engineering assessing UML/sysML designed models
  nork: Debbabi, Mourad...[et.al]
  Argitaratua: (2010)
• VLSI testing and validation techniques
  nork: Reghbati, Hassan K
  Argitaratua: (1985)
• Foundation of program verification /
  nork: Loeckx, Jacques
  Argitaratua: (1983)
• Program construction and verification /
  nork: Backhouse, Roland C .
  Argitaratua: (1986)
• Legal validity
  nork: Munzer, Stephen
  Argitaratua: (1972)