Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

4

DSN
2002
IEEE

favoriteEmaildiscussreport

92views Computer Networks» more DSN 2002»

SMART: Stochastic Model-checking Analyzer for Reliability and Timing

13 years 9 months ago

SMART: Stochastic Model-checking Analyzer for Reliability and Timing

Download www.cs.ucr.edu

Gianfranco Ciardo, R. L. Jones III, Robert M. Marm

Real-time Traffic

Computer Networks | DSN 2002 |

claim paper

Related Content

» ProbVerus Probabilistic Symbolic Model Checking

» Power Prediction in Smart Grids with Evolutionary Local Kernel Regression

» Stochastic Analysis of Graph Transformation Systems A Case Study in P2P Networks

» Scheduling for Reliable Execution in Autonomic Systems

» Engineering crowd interaction within smart environments

» A Model Checker for Hierarchical Probabilistic RealTime Systems

» Reachability Set Generation for Petri Nets Can Brute Force Be Smart

» Fast and reliable estimation schemes in RFID systems

» Online Sequential Prediction via Incremental Parsing The Active LeZi Algorithm

Post Info
More Details (n/a)

Added	14 Jul 2010
Updated	14 Jul 2010
Type	Conference
Year	2002
Where	DSN
Authors	Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu

Comments (0)