2. Getting involved
  3. Standards Committees
  4. DKE
NA 022

DKE German Commission for Electrical, Electronic & Information Technologies of DIN and VDE

About DKE Projects Drafts Publications Documents withdrawn without replacement National committees European committees International committees
Technical Specification Draft

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

Title (German)

Anforderungen und Leitfaden für die Verwendung mathematischer und logischer Verfahren für das Aufstellen genauer Eigenschaften von Software und deren Dokumentation (IEC 65A/932/CD:2019); Text Deutsch und Englisch

Procedure

VN

Responsible national committee

DKE/GK 914 - Funktionale Sicherheit elektrischer, elektronischer und programmierbarer elektronischer Systeme (E, E, PES) zum Schutz von Personen und Umwelt  

Edition 2020-08
Original language German , English
Price from 20.65 €
Order from DIN Media
Table of contents

Contact

Sascha Man-Son Lee

Merianstr. 28
63069 Offenbach am Main

Tel.: +49 69 6308-291

Send message to contact