Sciweavers

11 search results - page 3 / 3
» iwssd 2000
Sort
View
IWSSD
2000
IEEE
13 years 9 months ago
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
Frederick T. Sheldon, Stefan Greiner, Matthias Ben...