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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Kiviriga, A., Larsen, K. G., Nyman, U.

Journal title: Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings

Journal publisher: Springer Science+Business Media

Published year: 2021

Published pages: 149-166

DOI identifier: 10.1007/978-3-030-85248-1_9

ISBN: 9783030852474