VDE V 0803-12. Requirements and Guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation.
NORMA vydaná dňa 1.8.2020
Označenie normy: E DIN IEC/TS 61508-3-2:2020-08
Dátum vydania normy: 1.8.2020
Počet strán: 38
Približná hmotnosť: 114 g (0.25 libier)
Krajina: Nemecká technická norma
Kategória: Technické normy 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.