Ernits, J.-P., Kull, A., Raiend, K., Vain, J.

prindi

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

autor

Ernits, Juhan-Peep

Kull, Andres

Raiend, Kullo

Vain, Jüri

vastutusandmed

J.-P.Ernits, A.Kull, K.Raiend, J.Vain

allikas

Informatik 2006 - Informatik für Menschen : proceedings : Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI) : 2.bis 6.Oktober in Dresden

ilmumiskoht

Bonn

kirjastus/väljaandja

Köllen

ilmumisaasta

2006

leheküljed

p. 241-248

ISBN

3-88579-188-9

märkused

(Lecture notes in informatics, ISSN 1617-5468 ; Bd2, P-94)

Ernits, J.-P., Kull, A., Raiend, K., Vain, J. Generating TTCN-3 test cases from EFSM models of reactive software using model checking // Informatik 2006 - Informatik für Menschen : proceedings : Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI) : 2.bis 6.Oktober in Dresden. Bonn : Köllen, 2006. p. 241-248.