IEEE/IEC 62531-2012
IEC 62531:2012(E) (IEEE Std 1850-2010): Estándar para el lenguaje de especificación de propiedades (PSL)

Estándar No.

IEEE/IEC 62531-2012

Organización

Institute of Electrical and Electronics Engineers (IEEE)

Ultima versión

IEEE/IEC 62531-2012

IEEE/IEC 62531-2012 Historia

• 1970 IEEE/IEC 62531-2012 IEC 62531:2012(E) (IEEE Std 1850-2010): Estándar para el lenguaje de especificación de propiedades (PSL)
• 1970 IEEE/IEC 62531-2007 Estándar internacional IEC/IEEE para lenguaje de especificación de propiedades (PSL)