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 2019-14-11 at 04:48