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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=207094
بازگشت