UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 5601
DCS Tech Report Number: TR-1996-6

Extending The Application Of Formal Methods To Analyse Human Error And System Failure During Accident Investigations
Telford,A.J. Johnson,C.W.

Publication Type: Tech Report (internal)
Appeared in: DCS Tech Report
Page Numbers : -
Publisher: N/A
Year: 1996
Abstract:

No abstract available.


Bibtex entry Endnote XML