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.

Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman. Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. In Alberto Lluch-Lafuente, Anastasia Mavridou, editors, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12863 of Lecture Notes in Computer Science, pages 149-166, Springer, 2021. [doi]

Authors

Andrej Kiviriga

This author has not been identified. Look up 'Andrej Kiviriga' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

Ulrik Nyman

This author has not been identified. Look up 'Ulrik Nyman' in Google
runs on