Safety. lab: Model-based domain specific tooling for safety argumentation

D Ratiu, M Zeller, L Killian - … DECSoS. ISSE, ReSA4CI, and SASSUR, Delft …, 2015 - Springer
Assurance cases capture the argumentation that a system is safe by putting together pieces
of evidence at different levels of abstraction and of different nature. Managing the …

[PDF][PDF] Safety. Lab: Model-based Domain Specific Tooling for Safety Argumentation

D Ratiu, M Zeller, L Killian - academia.edu
Assurance cases capture the argumentation that a system is safe by putting together pieces
of evidence at different levels of abstraction and of different nature. Managing the …

[PDF][PDF] Safety. Lab: Model-based Domain Specific Tooling for Safety Argumentation

D Ratiu, M Zeller, L Killian - researchgate.net
Assurance cases capture the argumentation that a system is safe by putting together pieces
of evidence at different levels of abstraction and of different nature. Managing the …

[PDF][PDF] Safety. Lab: Model-based Domain Specific Tooling for Safety Argumentation

D Ratiu, M Zeller, L Killian - mbeddr.com
Assurance cases capture the argumentation that a system is safe by putting together pieces
of evidence at different levels of abstraction and of different nature. Managing the …