By Topic

SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
1 Author(s)
K. S. Trivedi ; Dept. of Electr. & Comput. Eng., Duke Univ., Durham, NC, USA