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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642242694, 9783642242700
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Security Analysis of Smart Grid Data Collection Technologies

2011 ◽  
pp. 143-156 ◽  
Author(s):  
Luigi Coppolino ◽  
Salvatore D’Antonio ◽  
Ivano Alessandro Elia ◽  
Luigi Romano
Keyword(s):  
Data Collection ◽  
Smart Grid ◽  
Security Analysis ◽  
Grid Data

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software

2011 ◽  
pp. 85-98 ◽  
Author(s):  
Richard Bonichon ◽  
Géraud Canet ◽  
Loïc Correnson ◽  
Eric Goubault ◽  
Emmanuel Haucourt ◽  
...  
Keyword(s):  
Control Software ◽  
Industrial Control

Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach

2011 ◽  
pp. 57-70 ◽  
Author(s):  
Jean-Paul Blanquart ◽  
Eric Armengaud ◽  
Philippe Baufreton ◽  
Quentin Bourrouilh ◽  
Gerhard Griessnig ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Model Based

Vertical Safety Interfaces – Improving the Efficiency of Modular Certification

2011 ◽  
pp. 29-42 ◽  
Author(s):  
Bastian Zimmer ◽  
Susanne Bürklen ◽  
Michael Knoop ◽  
Jens Höfflinger ◽  
Mario Trapp

Modeling Aircraft Operational Reliability

2011 ◽  
pp. 157-170 ◽  
Author(s):  
Kossi Tiassou ◽  
Karama Kanoun ◽  
Mohamed Ka ◽  
Christel Seguin ◽  
Chris Papadopoulos
Keyword(s):  
Operational Reliability
Load More ...
Sign in / Sign up

Export Citation Format

Share Document