SMART: Stochastic Model-checking Analyzer for Reliability and Timing

• Authors:

• Gianfranco Ciardo;R. L. Jones, III;R. M. Marmorstein;Andrew S. Miner;Radu Siminiceanu

• Affiliations:

• -;-;-;-;-

• Venue:
• DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
• Year:
• 2002