Distributed Verification of Rare Properties using Importance Splitting Observers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Distributed Verification of Rare Properties using Importance Splitting Observers. ECEASST, 72, 2015. [doi]

This author has not been identified. Look up 'Cyrille Jégourel' in GoogleThis author has not been identified. Look up 'Axel Legay' in GoogleThis author has not been identified. Look up 'Sean Sedwards' in GoogleThis author has not been identified. Look up 'Louis-Marie Traonouez' in Google

runs on WebDSL