Verifying systems to reduce human error.
Presented at: Tools and Techniques for Verification of System Infrastructure, Royal Society, London, UK.
|Title:||Verifying systems to reduce human error|
|Event:||Tools and Techniques for Verification of System Infrastructure|
|Location:||Royal Society, London, UK|
|Dates:||25 - 26 March 2008|
|Additional information:||Tools and Techniques for Verification of System Infrastructure was held in honour of Prof. Michael J. C. Gordon FRS, on the occasion of his 60th birthday.|
|UCL classification:||UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre|
Archive Staff Only