VDE V 0803-12. Requirements and Guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation.
STANDARD published on 1.8.2020
Designation standards: E DIN IEC/TS 61508-3-2:2020-08
Publication date standards: 1.8.2020
The number of pages: 38
Approximate weight : 114 g (0.25 lbs)
Country: German technical standard
Category: Technical standards DIN
VDE V 0803-12. Anforderungen und Leitfaden für die Verwendung mathematischer und logischer Verfahren für das Aufstellen genauer Eigenschaften von Software und deren Dokumentation.