A Statistical Model Checker for Nondeterminism and Rare Events - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards. A Statistical Model Checker for Nondeterminism and Rare Events. In Dirk Beyer 0001, Marieke Huisman, editors, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Volume 10806 of Lecture Notes in Computer Science, pages 340-358, Springer, 2018. [doi]

This author has not been identified. Look up 'Carlos E. Budde' in GoogleThis author has not been identified. Look up 'Pedro R. D'Argenio' in GoogleThis author has not been identified. Look up 'Arnd Hartmanns' in GoogleThis author has not been identified. Look up 'Sean Sedwards' in Google

runs on WebDSL