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

IEC/SC 65A/PT 61508-3-2
Using formal methods in the development and assurance of software

Publications Projects

National mirror committee of IEC/SC 65A/PT 61508-3-2

Committee ID Name
DKE/K 931 Systemaspekte der Automatisierung