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., Lilius, J., Porres Paltor, I. & Abbors, F.

  01/01/07 → 31/12/09

  Projekti: Industry/Business Finland