Model-based Testing Using Scenarios and Event-B Refinements

A3 Book section, Chapters in research books


Internal Authors/Editors


Publication Details

List of Authors: Qaisar A Malik, Johan Lilius, Linas Laibinis
Editors: Michael Butler CJAR, Troubitsyna E
Publisher: Springer
Publication year: 2008
Publisher: Springer
Book title: Methods, Models and Tools for Fault Tolerance
Title of series: Lecture Notes in Computer Science
Number in series: 5454
Volume number: 5454
Start page: 177
End page: 195
ISBN: 978-3-642-00866-5
eISBN: 978-3-642-00867-2

Last updated on 2019-20-11 at 03:26