Using UML Models and Formal Verification in Model-Based Testing

Q Malik, Dragos Truscan, Johan Lilius

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

10 Citeringar (Scopus)

1 resultat

Filter

Slutfört

D-Mint: Deployment of Model-Based Technologies to Industrial Testing
Truscan, D. (Ansvarig forskare), Lilius, J. (CoPI), Porres Paltor, I. (CoPI) & Abbors, F. (CoI)
01/01/07 → 31/12/09
Projekt: Företag/Business Finland