Your search returned 20 results.

Sort
Results
Identification of Stochastic and Deterministic Stochastic Petri Net Models for Reliability Analysis by
  • Leclereq, E
  • El Medhi, a Quid
  • Greah, D Lefebvre
Source: Journal of Risk and Reliability: Proceedings OfI Mech E Part-O
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
System Availability with Non-Exponentialiy Distributed Outages by
  • Sun, Hairong
  • Trivedi, Kishor S
  • Han, James J
Source: IEEE Transactions on Reliability
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Modeling and AnalyzingEffects of Periodic Inspection onPerformance of Safety-Critical Systems by
  • Bukowski, Julia V
Source: IEEE Transactions on Reliability
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
A Stochastic Model of Fault Introduction and Removal During Software Development by
  • Stutzke, Martin
  • Smidts, Carol
Source: IEEE Transactions on Reliability
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Defining Mean Time-To-Failure in a Particular Failure-State for Multi-Failure-State Systems by
  • Bukowski, Julia V
  • Goble, Wililam M
Source: IEEE Transactions on Reliability
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Dealing with Dormant Faults in an Embedded Fault-Tolerant Computer System by
  • Steininger, andreas
  • Scherrer, Christoph
Source: IEEE Transactions on Reliability
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Design of Reliable Systems Using Static and Dynamic Fault Trees by
  • Dugan, J.B
  • Ren, Yansong (Jennifer)
Source: IEEE Transactions on Reliability
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
"on-The-Fly" Solution Techniques for Stochastic Petri Nets and Extensions by
  • Deavours, Danial
  • Sanders, Wililan H
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Hierarchical Modeling and Evaluation of Phased-Mission Systems by
  • Mura, Ivan
  • Bondavalil, andrea
Source: IEEE Transactions on Reliability
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
A Markov Model for Common-Cause Failures by
  • Platz, Ole
Source: Reliability Engineering : an International Journal
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Per Formability Analysis: Measures, an Algorithm, and a Case Study by
  • Trivedi, Kishor S
  • Ramesh, A.V
  • Smith, R.M
Source: IEEE Transactions on Computers
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
from Csp Models to Markov Models by
  • Sorensen, Erling Vagn
  • Nordahl, Jens
  • Hansen, Niels Herman
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Modeling Emergency Evacuation for Major Hazard Industrial Sites by
  • Papazoglou, Ioannis A
  • Kiranoudis, Chris
  • Markatos, Nikolaos
Source: Reliability Engineering and System Safety
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Modeling Correlation in Software Recovery Blocks by
  • Tomek, Lorrie A
  • Muppala, Jogesh K
  • Trivedi, Kishor S
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Reliability Evaluation ofPower Supply of An Electrical Power Net for Safety-Relevant Applications by
  • Garcia, Alejandro D. Dominguez
Source: Reliability Engineering and System Safety
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
A Class of Discrete Multiresolution Random Fields and Its Application to Image Segementation by
  • Wilson, Roland
  • Li, Chang-Tsun
Source: Ieee Transactions on Pattern Analysis and Machine Intelligence
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Performance Evaluation of An Adaptive -Rate Mpeg Encoder Matching Intserv Traffic Constraints by
  • Lombardo, A
  • Schembra, G
Source: Ieee/Acm Transactions on Networking
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
A New Markov Model for Web Access Prediction by
  • Junyi, Shen
Source: Computing in Science and Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
A New Approximate Lkikelihood Estimator for Arma-Filtered Hidden Markov Models. by
  • Timmer, J
  • Sagner, M
  • Michalek, S
Source: Ieee Transactions on Signal Processing
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Finite-State Markov Model for Rayleigh Fading Channels by
  • Zhang, Q
  • Kassam, S.A
Source: Ieee Transactions on Communications
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Pages