An efficient 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. An efficient statistical model checker for nondeterminism and rare events. STTT, 22(6):759-780, 2020. [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