Lecture Notes in Informatics

INFORMATIK 2006, Informatik für Menschen, Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2. - 6. Oktober 2006 in Dresden P-94, 241-248 (2006).

2006

Editors

Christian Hochberger, Rüdiger Liskowsky (eds.)

Contents

Home > Vol P-94 (2006)

Generating TTCN-3 test cases from EFSM models of reactive software using model checking

Juhan Ernits , Andreas Kull , Kullo Raiend and Jüri Vain

Full Text: PDF

ISBN 978-3-88579-188-1

Last changed 24.01.2012 21:56:13