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

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642336775, 9783642336782
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Secure Fieldbus Communication

2012 ◽  
pp. 149-160 ◽  
Author(s):  
Felix Wieczorek ◽  
Christoph Krauß ◽  
Frank Schiller ◽  
Claudia Eckert

Quantification of Priority-OR Gates in Temporal Fault Trees

2012 ◽  
pp. 99-110 ◽  
Author(s):  
Ernest Edifor ◽  
Martin Walker ◽  
Neil Gordon
Keyword(s):  
Fault Trees

Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems

2012 ◽  
pp. 352-363 ◽  
Author(s):  
Rosana T. Vaccare Braga ◽  
Onofre Trindade Junior ◽  
Kalinka Regina Castelo Branco ◽  
Luciano De Oliveira Neris ◽  
Jaejoon Lee
Keyword(s):  
Embedded Systems ◽  
Software Product Line ◽  
Product Line ◽  
Engineering Process ◽  
Safety Critical ◽  
Product Line Engineering ◽  
Software Product Line Engineering ◽  
Software Product ◽  
Line Engineering

A STAMP Analysis on the China-Yongwen Railway Accident

2012 ◽  
pp. 376-387 ◽  
Author(s):  
Tian Song ◽  
Deming Zhong ◽  
Hang Zhong

Formal Development and Assessment of a Reconfigurable On-board Satellite System

2012 ◽  
pp. 210-222 ◽  
Author(s):  
Anton Tarasyuk ◽  
Inna Pereverzeva ◽  
Elena Troubitsyna ◽  
Timo Latvala ◽  
Laura Nummila
Keyword(s):  
Satellite System ◽  
Formal Development
Load More ...
Sign in / Sign up

Export Citation Format

Share Document