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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642407925, 9783642407932
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study

2013 ◽  
pp. 216-227 ◽  
Author(s):  
Célia Martinie ◽  
Philippe Palanque ◽  
Martina Ragosta ◽  
Mark Alexander Sujan ◽  
David Navarre ◽  
...  

scholarly journals DFTCalc: A Tool for Efficient Fault Tree Analysis

2013 ◽  
pp. 293-301 ◽  
Author(s):  
Florian Arnold ◽  
Axel Belinfante ◽  
Freark Van der Berg ◽  
Dennis Guck ◽  
Mariëlle Stoelinga
Keyword(s):  
Fault Tree ◽  
Fault Tree Analysis ◽  
Tree Analysis

Formalisation of an Industrial Approach to Monitoring Critical Data

2013 ◽  
pp. 57-69 ◽  
Author(s):  
Yuliya Prokhorova ◽  
Elena Troubitsyna ◽  
Linas Laibinis ◽  
Dubravka Ilić ◽  
Timo Latvala
Keyword(s):  
Critical Data
Load More ...
Sign in / Sign up

Export Citation Format

Share Document