IFIP International Federation for Information Processing - Human Error, Safety and Systems Development
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Kluwer Academic Publishers

1402081529

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_17 ◽

2006 ◽

pp. 255-269 ◽

Cited By ~ 1

Author(s):

C. W. Johnson

Keyword(s):

Commercial Aviation ◽

Safety Critical ◽

Maritime Industries ◽

The Uk

Download Full-text

Formal Verification and Validation of Interactive Systems Specifications

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_5 ◽

2006 ◽

pp. 61-76 ◽

Cited By ~ 1

Author(s):

Yamine Aït-Ameur ◽

Benoit Breholée ◽

Patrick Girard ◽

Laurent Guittet ◽

Francis Jambon

Keyword(s):

Formal Verification ◽

Interactive Systems ◽

Verification And Validation

Download Full-text

Integrating Human Factors in the Design of Safety Critical Systems

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_19 ◽

2006 ◽

pp. 285-300 ◽

Cited By ~ 1

Author(s):

Bastiaan A. Schupp ◽

Shamus P. Smith ◽

Peter C. Wright ◽

Louis H. J. Goossens

Keyword(s):

Human Factors ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Studying Operator Behaviour During a Simple But Safety Critical Task

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_14 ◽

2006 ◽

pp. 209-221 ◽

Cited By ~ 1

Author(s):

Hans H. K. Andersen ◽

Gunnar Hauland

Keyword(s):

Safety Critical ◽

Critical Task

Download Full-text

The Global Aviation Information Network (GAIN)

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_2 ◽

2006 ◽

pp. 17-30 ◽

Cited By ~ 1

Author(s):

Christopher A. Hart

Keyword(s):

Information Network

Download Full-text

Toward a Human-Centered UML for Risk Analysis

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_12 ◽

2006 ◽

pp. 177-191 ◽

Cited By ~ 2

Author(s):

Jérémie Guiochet ◽

Gilles Motet ◽

Claude Baron ◽

Guy Boy

Keyword(s):

Risk Analysis

Download Full-text

Failure Analysis and the Safety-Case Lifecycle

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_11 ◽

2006 ◽

pp. 163-176 ◽

Cited By ~ 15

Author(s):

William S. Greenwell ◽

Elisabeth A. Strunk ◽

John C. Knight

Keyword(s):

Failure Analysis ◽

Safety Case

Download Full-text

Handling Human Factors in Integrated Systems Engineering

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_13 ◽

2006 ◽

pp. 193-208

Author(s):

Michael Cebulla

Keyword(s):

Human Factors ◽

Systems Engineering ◽

Integrated Systems

Download Full-text

Challenge of Safety Data Analysis - Top Models Wanted

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_15 ◽

2006 ◽

pp. 223-237 ◽

Cited By ~ 1

Author(s):

Jari Nisula

Keyword(s):

Data Analysis ◽

Safety Data

Download Full-text

Analysing Dynamic Function Scheduling Decisions

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development ◽

10.1007/1-4020-8153-7_4 ◽

2006 ◽

pp. 45-60 ◽

Cited By ~ 3

Author(s):

Karsten Loer ◽

Michael Hildebrandt ◽

Michael Harrison

Keyword(s):

Dynamic Function

Download Full-text

IFIP International Federation for Information Processing - Human Error, Safety and Systems DevelopmentLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Kluwer Academic Publishers

The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries

Formal Verification and Validation of Interactive Systems Specifications

Integrating Human Factors in the Design of Safety Critical Systems

Studying Operator Behaviour During a Simple But Safety Critical Task

The Global Aviation Information Network (GAIN)

Toward a Human-Centered UML for Risk Analysis

Failure Analysis and the Safety-Case Lifecycle

Handling Human Factors in Integrated Systems Engineering

Challenge of Safety Data Analysis - Top Models Wanted

Analysing Dynamic Function Scheduling Decisions

IFIP International Federation for Information Processing - Human Error, Safety and Systems Development
Latest Publications