共 33 条
- [1] [Anonymous], 2001, 61882 IEC
- [2] [Anonymous], 1983, HDB HUMAN RELIABILIT, DOI DOI 10.2172/5752058
- [4] BABER C, 2004, HDB TASK ANAL HUMAN, P367
- [5] Barboni E, 2010, EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, P165
- [7] Bastide R, 2007, LECT NOTES COMPUT SC, V4385, P109
- [8] Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (06): : 1314 - 1327
- [10] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS [J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209