Gesellschaft fr Informatik e.V.

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

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