E DIN IEC/TS 61508-3-2 VDE V 0803-12:2020-08
Requirements and Guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation
(IEC 65A/932/CD:2019); Text in German and English
Class/Status:
Draft,
valid
Released: 2020 -08 Published:
2020-07 -31
VDE Art. No.: 1800581
End of objection deadline:
2020-09-30