NA 022
DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE
IEC/SC 65A/MT 61508-3-2
Using formal methods in the development and assurance of software
Nationales Spiegelgremium von IEC/SC 65A/MT 61508-3-2
| Kurzbezeichnung | Name |
|---|---|
| DKE/K 931 | Systemaspekte der Automatisierung |