Checkable Safety Arguments – A Modeling Framework Supporting the Maintenance of Safety Arguments Consistent with System Development Artifacts
Carmen Cârlan successfully defended her thesis on "Checkable Safety Arguments – A Modeling Framework Supporting the Maintenance of Safety Arguments Consistent with System Development Artifacts"!