R--Model Based Engineering Environments
31310023R0085
Development of a Technical Basis for Acceptance Criteria of Software Intensive Model Based Engineering Environments and Correct by Construction (CbyC) Methods