For the most recent entries see the
Petri Nets Newsletter
.
Keyword: software failures
Kanoun, Karama
;
Ortalo-Borrel, Marie
:
Fault-Tolerant System Dependability-Explicit Modeling of Hardware and Software Component-Interactions.
2000.
Kanoun, Karama
;
Borrel, Marie
;
Morteveille, Thierry
;
Peytavin, Alain
:
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System.
1996.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography