SMART: simulation and Markovian analyzer for reliability and timing

Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS

Volumn , Issue , 1996, Pages 60-

  Ciardo, Gianfranco ^a   Miner, Andrew S ^a  

^a The College of William and Mary   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AVAILABILITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATABASE SYSTEMS; GRAPHICAL USER INTERFACES; ITERATIVE METHODS; MARKOV PROCESSES; MATHEMATICAL MODELS; RELIABILITY; STATE SPACE METHODS;

DISCRETE TIME MARKOV CHAINS; INPUT LANGUAGE; MIXED TIME NON MARKOVIAN MODELS; PERFORMABILITY; SOFTWARE PACKAGE SMART;

COMPUTER SOFTWARE;

EID: 0029720030     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)