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