part of IFIP World Congress 2004
Chris W. Johnson, Philippe A. Palanque (Eds.):
Human Error, Safety and Systems Development, IFIP 18th World Computer Congress, TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004, Toulouse, France.
Kluwer 2004, ISBN 1-4020-8152-9 BibTeX
Part 1:
Risk Management
Part 2:
Formal Methods and Notations
- Karsten Loer, Michael Hildebrandt, Michael D. Harrison:
Analysing Dynamic Function Scheduling Decisions.
45-60 BibTeX
- Yamine Aït Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon:
Formal Verification and Validation of Interactive Systems Specifications.
61-76 BibTeX
- Claudia V. S. Guerrero, Maria de F. Q. V. Turnell, Jean-Marc Mercantini, Eugène Chouraqui, Fernando A. Q. Vieira, Madson R. B. Pereira:
Modelling Incident Scenarios: To enrich User Interface Development.
77-92 BibTeX
Part 3:
Error Analysis
Part 4:
Methodologies
Part 5:
Incidents and Accidents Analysis (Part two)
Part 6:
Design for Error Tolerance
Copyright © Sat May 16 23:23:08 2009
by Michael Ley (ley@uni-trier.de)