Using UML Models and Formal Verification in Model-Based Testing

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Malik Q, Truscan D, Lilius J
Publisher: IEEE Computer Society
Publication year: 2010
Publisher: IEEE
Book title: 17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)
ISBN: 978-1-4244-6537-8

Last updated on 2019-22-11 at 05:20

Share link