Model-based Testing Using Scenarios and Event-B Refinements

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Qaisar A. Malik , Johan Lilius, Linas Laibinis
Redaktörer: Butler M, Jones C, Romanovsky A, Troubitsyna E
Publiceringsår: 2007
Moderpublikationens namn: Workshop on Methods, Models and Tools for Fault Tolerance, Proceedings
Artikelns första sida, sidnummer: 59
Artikelns sista sida, sidnummer: 69

Senast uppdaterad 2019-09-12 vid 03:48