Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540876977, 9783540876984

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analyzing Fault Susceptibility of ABS Microcontroller

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_30 ◽

2008 ◽

pp. 360-372 ◽

Cited By ~ 7

Author(s):

Dawid Trawczynski ◽

Janusz Sosnowski ◽

Piotr Gawkowski

Download Full-text

Expert Assessment of Arguments: A Method and Its Experimental Evaluation

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_25 ◽

2008 ◽

pp. 291-304 ◽

Cited By ~ 9

Author(s):

Lukasz Cyra ◽

Janusz Górski

Keyword(s):

Experimental Evaluation ◽

Expert Assessment

Download Full-text

Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_19 ◽

2008 ◽

pp. 207-220 ◽

Cited By ~ 15

Author(s):

Dennis K. Nilsson ◽

Ulf E. Larson ◽

Erland Jonsson

Keyword(s):

Software Updates

Download Full-text

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_22 ◽

2008 ◽

pp. 249-262 ◽

Cited By ~ 7

Author(s):

Nurlida Basir ◽

Ewen Denney ◽

Bernd Fischer

Keyword(s):

Program Verification ◽

Formal Program ◽

Safety Case

Download Full-text

Technology, Society and Risk

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_3 ◽

2008 ◽

pp. 12-12

Author(s):

Roger Rivett

Download Full-text

Applying Safety Goals to a New Intensive Care Workstation System

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_23 ◽

2008 ◽

pp. 263-276 ◽

Cited By ~ 1

Author(s):

Uwe Becker

Keyword(s):

Intensive Care

Download Full-text

Resilience Markers for Safer Systems and Organisations

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_11 ◽

2008 ◽

pp. 99-112 ◽

Cited By ~ 12

Author(s):

Jonathan Back ◽

Dominic Furniss ◽

Michael Hildebrandt ◽

Ann Blandford

Download Full-text

Model-Based Implementation of Real-Time Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_28 ◽

2008 ◽

pp. 332-345 ◽

Cited By ~ 1

Author(s):

Krzysztof Sacha

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Based ◽

Time Systems

Download Full-text

The Effectiveness of T-Way Test Data Generation

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_5 ◽

2008 ◽

pp. 16-29 ◽

Cited By ~ 9

Author(s):

Michael Ellims ◽

Darrel Ince ◽

Marian Petre

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation

Download Full-text

SafeSpection – A Systematic Customization Approach for Software Hazard Identification

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-540-87698-4_7 ◽

2008 ◽

pp. 44-57 ◽

Cited By ~ 3

Author(s):

Christian Denger ◽

Mario Trapp ◽

Peter Liggesmeyer

Keyword(s):

Hazard Identification

Download Full-text

Lecture Notes in Computer Science - Computer Safety, Reliability, and SecurityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Analyzing Fault Susceptibility of ABS Microcontroller

Expert Assessment of Arguments: A Method and Its Experimental Evaluation

Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information

Technology, Society and Risk

Applying Safety Goals to a New Intensive Care Workstation System

Resilience Markers for Safer Systems and Organisations

Model-Based Implementation of Real-Time Systems

The Effectiveness of T-Way Test Data Generation

SafeSpection – A Systematic Customization Approach for Software Hazard Identification

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications