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.

Runtime Verification of Generalized Test Tables

Alexander Weigl, Mattias Ulbrich, Shmuel Tyszberowicz, Jonas Klamroth. Runtime Verification of Generalized Test Tables. In Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez 0003, editors, NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Volume 12673 of Lecture Notes in Computer Science, pages 358-374, Springer, 2021. [doi]

Authors

Alexander Weigl

This author has not been identified. Look up 'Alexander Weigl' in Google

Mattias Ulbrich

This author has not been identified. Look up 'Mattias Ulbrich' in Google

Shmuel Tyszberowicz

This author has not been identified. Look up 'Shmuel Tyszberowicz' in Google

Jonas Klamroth

This author has not been identified. Look up 'Jonas Klamroth' in Google
runs on