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

Ernits, Juhan P. ; Kull, Andres; Raiend, Kullo ; Vain, Jüri (2006). 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 2006 in Dresden, Bd 2. Ed. Hochberger, Ch.; Liskowsky, R. Bonn: Köllen, 241−248. (Lecture Notes in Informatics; P-94).
publitseeritud konverentsiettekanne
Ernits, Juhan P. ; Kull, Andres; Raiend, Kullo ; Vain, Jüri
  • Inglise
Informatik 2006 - Informatik für Menschen : Proceedings, Beiträge der 36.Jahrestagung der Gesellschaft für Informatik e.V.(GI), 2.bis 6.Oktober 2006 in Dresden
Hochberger, Ch.; Liskowsky, R.
Bonn
Köllen
1617-5468
3-88579-188-9; 978-3-88579-188-1
Bd 2
Lecture Notes in Informatics
P-94
2006
241248
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)