Resources

We have a number of items of interest to the safety researcher. Check the links below for more detailed information.

• Reports
• Soup
• Learning from Incidents
• Formal Methods Report


• Published research papers concerning systems and software dependability



• ASCAD Manual



• IEE Professional Network



• Adelard Seminar 2003



• Safety-related links page