Adelard Seminar 2003

Here are the presentations from the Adelard Seminar "Analysing and Simplifying Complex Evidence".

Date: Tuesday 25th November 2003
Location: Dorchester Hotel, Park Lane, London

What is wrong about your safety case? Safety case guidance based on a review of recent/real safety cases

ASCE and a production line for systematic safety case review
Avoiding accidents caused by human computer mismatch: assembling persuasive safety arguments for complex user interfaces
How reliable is Windows after all?
Learning from incidents – Improving computer system safety
Safety assessment of smart devices
Computer addiction - depending on ambient intelligence. A dependability roadmap for the information society
Model checking dead man functionality in a tram