Model-Based Safety and Assessment - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319641188, 9783319641195
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Handling Consistency Between Safety and System Models

2017 ◽  
pp. 19-34 ◽  
Author(s):  
Tatiana Prosvirnova ◽  
Estelle Saez ◽  
Christel Seguin ◽  
Pierre Virelizier
Keyword(s):  
System Models

scholarly journals A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica

2017 ◽  
pp. 147-162 ◽  
Author(s):  
Alexandre Albore ◽  
Silvano Dal Zilio ◽  
Guillaume Infantes ◽  
Christel Seguin ◽  
Pierre Virelizier
Keyword(s):  
Model Checking ◽  
Failure Propagation

Architectural Modeling and Analysis for Safety Engineering

2017 ◽  
pp. 97-111 ◽  
Author(s):  
Danielle Stewart ◽  
Michael W. Whalen ◽  
Darren Cofer ◽  
Mats P. E. Heimdahl
Keyword(s):  
Safety Engineering ◽  
Modeling And Analysis ◽  
Architectural Modeling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document