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

9783540751007, 9783540751014

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Survival by Deception

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

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

2007 ◽

pp. 197-208 ◽

Cited By ~ 1

Author(s):

Martin Gilje Jaatun ◽

Åsmund Ahlmann Nyre ◽

Jan Tore Sørensen

Download Full-text

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach

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

10.1007/978-3-540-75101-4_46 ◽

2007 ◽

pp. 491-504

Author(s):

Ajith K. John ◽

Babita Sharma ◽

A. K. Bhattacharjee ◽

S. D. Dhodapkar ◽

S. Ramesh

Keyword(s):

C Programs

Download Full-text

Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study

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

10.1007/978-3-540-75101-4_27 ◽

2007 ◽

pp. 276-282 ◽

Cited By ~ 5

Author(s):

Fevzi Belli ◽

Axel Hollmann ◽

Nimal Nissanke

Keyword(s):

Safety Issues ◽

Modeling Analysis ◽

Event Based

Download Full-text

Development of Model Based Tools to Support the Design of Railway Control Applications

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

10.1007/978-3-540-75101-4_41 ◽

2007 ◽

pp. 430-435 ◽

Cited By ~ 1

Author(s):

István Majzik ◽

Zoltán Micskei ◽

Gergely Pintér

Keyword(s):

Control Applications ◽

Model Based

Download Full-text

Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model

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

10.1007/978-3-540-75101-4_14 ◽

2007 ◽

pp. 134-147 ◽

Cited By ~ 3

Author(s):

Andreas Lüdtke ◽

Lothar Pfeifer

Keyword(s):

Error Analysis ◽

Human Error ◽

Pilot Model

Download Full-text

DFT and DRBD in Computing Systems Dependability Analysis

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

10.1007/978-3-540-75101-4_40 ◽

2007 ◽

pp. 423-429 ◽

Cited By ~ 1

Author(s):

Salvatore Distefano ◽

Antonio Puliafito

Keyword(s):

Computing Systems ◽

Dependability Analysis

Download Full-text

Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation

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

10.1007/978-3-540-75101-4_18 ◽

2007 ◽

pp. 187-196 ◽

Cited By ~ 1

Author(s):

Hans Russo ◽

Andreas Turk

Keyword(s):

Industrial Automation ◽

Cause And Effect

Download Full-text

Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software

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

10.1007/978-3-540-75101-4_49 ◽

2007 ◽

pp. 532-545

Author(s):

Ananda Challaghatta Muniyappa

Download Full-text

A Tool for Network Reliability Analysis

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

10.1007/978-3-540-75101-4_39 ◽

2007 ◽

pp. 417-422 ◽

Cited By ~ 5

Author(s):

A. Bobbio ◽

R. Terruggia ◽

A. Boellis ◽

E. Ciancamerla ◽

M. Minichino

Keyword(s):

Reliability Analysis ◽

Network Reliability

Download Full-text

A Comparison of Partitioning Operating Systems for Integrated Systems

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

10.1007/978-3-540-75101-4_33 ◽

2007 ◽

pp. 342-355 ◽

Cited By ~ 13

Author(s):

Bernhard Leiner ◽

Martin Schlager ◽

Roman Obermaisser ◽

Bernhard Huber

Keyword(s):

Operating Systems ◽

Integrated Systems

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Survival by Deception

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach

Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study

Development of Model Based Tools to Support the Design of Railway Control Applications

Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model

DFT and DRBD in Computing Systems Dependability Analysis

Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation

Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software

A Tool for Network Reliability Analysis

A Comparison of Partitioning Operating Systems for Integrated Systems

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