External Links

Cite Key

Statistics

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

PDF

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.

Provably Correct Test Development for Timed Systems

Jüri Vain, Aivo Anier, Evelin Halling. Provably Correct Test Development for Timed Systems. In Hele-Mai Haav, Ahto Kalja, Tarmo Robal, editors, Databases and Information Systems VIII - Selected Papers from the Eleventh International Baltic Conference, DB&IS 2014, 8-11 June 2014, Tallinn, Estonia. Volume 270 of Frontiers in Artificial Intelligence and Applications, pages 289-302, IOS Press, 2014. [doi]

Authors

Jüri Vain

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

Aivo Anier

This author has not been identified. Look up 'Aivo Anier' in Google

Evelin Halling

This author has not been identified. Look up 'Evelin Halling' in Google
runs on