SMART: Stochastic Model-checking Analyzer for Reliability and Timing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu. SMART: Stochastic Model-checking Analyzer for Reliability and Timing. In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. pages 545, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Gianfranco Ciardo' in GoogleThis author has not been identified. Look up 'R. L. Jones III' in GoogleThis author has not been identified. Look up 'Robert M. Marmorstein' in GoogleThis author has not been identified. Look up 'Andrew S. Miner' in GoogleThis author has not been identified. Look up 'Radu Siminiceanu' in Google

runs on WebDSL