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 2020-21-09 at 05:27