Model-based Testing Using Scenarios and Event-B Refinements

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Qaisar A. Malik , Johan Lilius, Linas Laibinis
Editors: Butler M, Jones C, Romanovsky A, Troubitsyna E
Publication year: 2007
Book title: Workshop on Methods, Models and Tools for Fault Tolerance, Proceedings
Start page: 59
End page: 69

Last updated on 2020-04-06 at 05:20