|
|
|
|
|
09/02/2010
 Email to a friend
|
| |
The 2010 Safety Critical Systems Symposium, featuring presentations from leading practitioners in fields such as system safety, safety methods and managing safety related products.
Bristol
 Day one offers a tutorial on modern developments in formal methods and automated verification and their application to safety assurance in both standards driven and argument based safety cases. The tutorial will be led by Dr John Rushby, Program Director for Formal Methods and Dependable Systems at the Computer Science Laboratory of SRI International in California.
Day two offers sessions addressing: Perspectives on Systems Safety; Managing Safety Related Projects; and Transport Safety. Day three features presentations on: Safety Standards; Safety Competencies; and Safety Methods. On both days, an exhibition will be available to attendees.
|
|
| |
Event organiser/promoter
Safety Critical Systems Club
|
| |
| |
|
| |
This material is protected by Findlay Media copyright 2010.
See Terms and Conditions.
One-off usage is permitted but bulk copying is not.
For multiple copies contact the sales team.
|
| |
|
|
| |
To comment on news stories or blogs you need to complete our 60 second registration process. Once completed this then allows you to download any and all white papers, register for e-zines and access our detailed supplier directory for FREE.
If you are all ready a registered user then enter your e-mail address and login.
You will need to have logged in prior to entering your comments in the boxes provided.
|