UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Verifying systems to reduce human error

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).

Full text not available from this repository.


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 > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record