Safety Assurance using Correct by Construction
31310024R0032
Development of a Technical Basis for Performance-based (Outcome Oriented) Safety Assurance using Correct by Construction (CbyC) Methods