From Nondeterministic UML Protocol Statemachines to Class Contracts

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Ivan Porres, Irum Rauf
Redaktörer: Gaudel M, Cavalli AR, Ghosh S
Förläggare: IEEE Computer Society Washington, DC, USA
Publiceringsår: 2010
Förläggare: IEEE computer society press
Moderpublikationens namn: Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Artikelns första sida, sidnummer: 107
Artikelns sista sida, sidnummer: 116
ISBN: 978-0-7695-3990-4/

Senast uppdaterad 2020-28-02 vid 04:49