IEEE 1800.2-2020
Manual de referencia del lenguaje del estándar IEEE para la metodología de verificación universal

Estándar No.

IEEE 1800.2-2020

Organización

Institute of Electrical and Electronics Engineers (IEEE)

Ultima versión

IEEE 1800.2-2020

IEEE 1800.2-2020 Historia

• 1970 IEEE 1800.2-2020 Manual de referencia del lenguaje del estándar IEEE para la metodología de verificación universal
• 2017 IEEE 1800.2-2017 Manual de referencia del lenguaje de metodología de verificación universal (IEEE Computer Society)