Using UML Models and Formal Verification in Model-Based Testing

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Malik Q, Truscan D, Lilius J
Förläggare: IEEE Computer Society
Publiceringsår: 2010
Förläggare: IEEE
Moderpublikationens namn: 17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)
ISBN: 978-1-4244-6537-8

Senast uppdaterad 2019-20-11 vid 05:16