Smart: The stochastic model checking analyzer for reliability and timing (2004)

Cached

Download Links

by Gianfranco Ciardo , Ming-ying Chung , Andrew S. Miner , Gianfranco Ciardo , Robert L. Jones , Robert M. Marmorstein , Andrew S. Miner , Radu I. Siminiceanu , Andy Yu
Venue:In International Conference on Quantitative Evaluation of Systems (QEST
Citations:6 - 1 self