Checking and Distributing Statistical Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen. Checking and Distributing Statistical Model Checking. In Alwyn Goodloe, Suzette Person, editors, NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Volume 7226 of Lecture Notes in Computer Science, pages 449-463, Springer, 2012. [doi]

This author has not been identified. Look up 'Peter E. Bulychev' in GoogleThis author has not been identified. Look up 'Alexandre David' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Axel Legay' in GoogleThis author has not been identified. Look up 'Marius Mikucionis' in GoogleThis author has not been identified. Look up 'Danny Bøgsted Poulsen' in Google

runs on WebDSL