A formal and structured approach to the
โ
R.M. BOTTING; C.W. JOHNSON
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 406 KB
Recent work (Telford & Johnson, 1996;Johnson, 1997), involving the application of formal notations to analyse accident reports has shown that the quality of these accident reports is poor, so much so that their conclusions can be misleading. The proposed solution has been to use formal notations in