NA 022
DKE German Commission for Electrical, Electronic & Information Technologies of DIN and VDE
IEC/SC 65A/MT 61508-3-2
Using formal methods in the development and assurance of software
National mirror committee of IEC/SC 65A/MT 61508-3-2
| Committee ID | Name |
|---|---|
| DKE/K 931 | Systemaspekte der Automatisierung |
