Curzon, P;
Ruksenas, R;
Back, J;
Blandford, A;
(2009)
Verifying systems to reduce human error.
In:
(Proceedings) TTVSI (Tools and Techniques for Verification of System Infrastructure).
Type: | Proceedings paper |
---|---|
Title: | Verifying systems to reduce human error |
Event: | TTVSI (Tools and Techniques for Verification of System Infrastructure) |
UCL classification: | UCL > School of Life and Medical Sciences UCL > School of Life and Medical Sciences > Faculty of Brain Sciences UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre UCL > School of BEAMS UCL > School of BEAMS > Faculty of Engineering Science |
URI: | http://discovery.ucl.ac.uk/id/eprint/98428 |
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
![]() |
View Item |