1. State-of-the Art Information on Petri Nets Applied to Software Quality;Barreau;5thInternational Software Quality Week Europe,2002
2. Performance and dependability evaluation of distributed dynamical systems;Barger,2002
3. Reliability analysis for complex industrial real-time systems: application on an antilock brake system;Guerin,2002
4. An Inspection Model with Minimal and Major Maintenance for a System with Deterioration and Poisson Failures;Hosseini;IEEE Transactions on Reliability,2000
5. Fault-Tolerant System Dependability-Explicit Modeling of Hardware and Software Component-Interactions;Kanoun;IEEE Transactions on Reliability,2000