Title of article
Formal socio-technical barrier modelling for safety-critical interactive systems design
Author/Authors
S. Basnyat، نويسنده , , P. PALANQUE، نويسنده , , B. Schupp، نويسنده , , P. Wright، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
21
From page
545
To page
565
Keywords
Safety-critical interactive systems , Incident and accident investigation , Human factors , Barriers , System modelling , Formal speciWcationtechniques
Journal title
Safety Science
Serial Year
2006
Journal title
Safety Science
Record number
207094
Link To Document