External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking

Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain. Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. In Christian Hochberger, Rüdiger Liskowsky, editors, 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. Volume 94 of LNI, pages 241-248, GI, 2006.

Authors

Juhan P. Ernits

This author has not been identified. Look up 'Juhan P. Ernits' in Google

Andres Kull

This author has not been identified. Look up 'Andres Kull' in Google

Kullo Raiend

This author has not been identified. Look up 'Kullo Raiend' in Google

Jüri Vain

This author has not been identified. Look up 'Jüri Vain' in Google
runs on