Safer Systems
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer London

9783540761341, 9781447109754
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safe Systems Architectures for Autonomous Robots

Safer Systems ◽  
1997 ◽  
pp. 203-215 ◽  
Author(s):  
I. Sommerville ◽  
D. Seward ◽  
R. Morrey ◽  
S. Quayle
Keyword(s):  
Autonomous Robots ◽  
Systems Architectures

scholarly journals Formal Methods: No Cure for Faulty Reasoning

Safer Systems ◽  
1997 ◽  
pp. 67-78 ◽  
Author(s):  
Martin Loomes ◽  
Rick Vinter
Keyword(s):  
Formal Methods

The PRICES Approach to Human Error

Safer Systems ◽  
1997 ◽  
pp. 121-135
Author(s):  
Christine Tomlinson
Keyword(s):  
Human Error

SACRES — Formalism for Real Projects

Safer Systems ◽  
1997 ◽  
pp. 245-255 ◽  
Author(s):  
Alvery Grazebrook
Load More ...
Sign in / Sign up

Export Citation Format

Share Document