Technology and Assessment of Safety-Critical Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540198598, 9781447120827

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Risk and Safety Reviews

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_8 ◽

1994 ◽

pp. 128-146 ◽

Cited By ~ 1

Author(s):

Geoff Wells ◽

Mike Wardman

Download Full-text

Safety Critical Problems in Medical Systems

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_4 ◽

1994 ◽

pp. 55-68 ◽

Cited By ~ 3

Author(s):

Brian Davies

Keyword(s):

Medical Systems ◽

Safety Critical ◽

Critical Problems

Download Full-text

Maintainability and its Influence on System Safety

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_3 ◽

1994 ◽

pp. 31-54 ◽

Cited By ~ 1

Author(s):

Cris Whetton

Keyword(s):

System Safety

Download Full-text

A User’s Perspective of Programmable Logic Controllers (PLCs) in Safety-related Applications

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_1 ◽

1994 ◽

pp. 1-20 ◽

Cited By ~ 2

Author(s):

A. Greenway

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

Developing Safety Cases for Command and Control Systems

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_5 ◽

1994 ◽

pp. 69-78

Author(s):

J. R. Taylor

Keyword(s):

Control Systems ◽

Command And Control ◽

Safety Cases ◽

And Control

Download Full-text

Human Error in the Software Generation Process

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_11 ◽

1994 ◽

pp. 175-185 ◽

Cited By ~ 1

Author(s):

Trevor Cockram ◽

Jim Salter ◽

Keith Mitchell ◽

Judith Cooper ◽

Brian Kinch ◽

...

Keyword(s):

Human Error ◽

Generation Process

Download Full-text

Cognitive and Organisational Aspects of Design

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_12 ◽

1994 ◽

pp. 186-193 ◽

Cited By ~ 2

Author(s):

Martin Loomes ◽

Donald Ridley ◽

Diana Kornbrot

Download Full-text

Lifetrack: Organisational Modelling for Safety-Critical Decision Support

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_6 ◽

1994 ◽

pp. 79-102 ◽

Cited By ~ 4

Author(s):

Tony Holden ◽

Michael Glykas ◽

Paul Wilhelmij ◽

Barrie Reynolds

Keyword(s):

Decision Support ◽

Safety Critical

Download Full-text

The rôle of Formal Methods in the Engineering of Safety Critical Systems

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_17 ◽

1994 ◽

pp. 247-257

Author(s):

P. J. Byers

Keyword(s):

Formal Methods ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Knowledge Based Systems in Safety Critical Applications

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_16 ◽

1994 ◽

pp. 236-246

Author(s):

Audrey Canning

Keyword(s):

Knowledge Based Systems ◽

Safety Critical ◽

Knowledge Based

Download Full-text

Technology and Assessment of Safety-Critical SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Risk and Safety Reviews

Safety Critical Problems in Medical Systems

Maintainability and its Influence on System Safety

A User’s Perspective of Programmable Logic Controllers (PLCs) in Safety-related Applications

Developing Safety Cases for Command and Control Systems

Human Error in the Software Generation Process

Cognitive and Organisational Aspects of Design

Lifetrack: Organisational Modelling for Safety-Critical Decision Support

The rôle of Formal Methods in the Engineering of Safety Critical Systems

Knowledge Based Systems in Safety Critical Applications

Technology and Assessment of Safety-Critical Systems
Latest Publications