For the most recent entries see the
Petri Nets Newsletter.
Keyword: dependability evaluation
-
Haverkort, B.R.;
Hermanns, H.;
Katoen, J.-P.:
On the use of model checking techniques for dependability evaluation.
2000.
-
Bondavalli, A.;
Mura, I.;
Trivedi, K.S.:
Dependability modeling and sensitivity analysis of scheduled maintenance system.
1999.
-
Kanoun, K.;
Borrel, M.;
Morteveille, T.;
Peytavin, A.:
Availability of CAUTRA, a subset of the French Air Traffic Control system.
1999.
-
Rabah, M.;
Kanoun, K.:
Dependability evaluation of a distributed shared memory multiprocessor system.
1999.
-
van Moorsel, A.P.A.;
Sanders, W.H.:
Transient Solution of Markov Models by Combining Adaptive & Standard Uniformization.
1997.
-
Garrett, C.J.;
Guarro, S.B.;
Apostolakis, G.E.:
The dynamic flowgraph methodology for assessing the dependability of embedded software systems.
1995.
-
Sanders, W.H.;
Obal, W.D.;
Qureshi, M.A.;
Widjanarko, F.K.:
The UltraSAN modeling environment.
1995.
-
Johnson, A.M.:
Fault Modeling and Fault Contamination in Multiprocessor Systems.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography