Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development

2015 ◽  
Author(s):  
Stefan Walter ◽  
Achim Rettberg ◽  
Marcio Kreutz
Keyword(s):  
Systems Development ◽  
Design Approach ◽  
Critical Systems ◽  
Safety Critical ◽  
Model Based ◽  
Safety Critical Systems ◽  
Seamless Design

Model-based assurance evidence management for safety–critical systems

2022 ◽  
Author(s):  
Jose Luis de la Vara ◽  
Arturo S. García ◽  
Jorge Valero ◽  
Clara Ayora
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Model Based ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document