Example Applications of IEEE Std 2846-2022 to Form
Beispielanwendungen von IEEE Std 2846-2022 auf formale sicherheitsbezogene Modelle

Standard-Nr.

Example Applications of IEEE Std 2846-2022 to Form

Erscheinungsdatum

2023

Organisation

Institute of Electrical and Electronics Engineers (IEEE)