Using UML Models and Formal Verification in Model-Based Testing

Hakutulokset

• Päättynyt

  D-Mint: Deployment of Model-Based Technologies to Industrial Testing

  Truscan, D. (Vastuullinen tutkija), Lilius, J. (CoPI), Porres Paltor, I. (CoPI) & Abbors, F. (CoI)

  01/01/07 → 31/12/09

  Projekti: Industry/Business Finland