IEEE/IEC 62531-2007
IEC/IEEE International Standard for Property Specification Language (PSL)

Standard No.

IEEE/IEC 62531-2007

Published By

Institute of Electrical and Electronics Engineers (IEEE)

Status

Be replaced

Replace By

IEEE/IEC 62531-2012

Latest

IEEE/IEC 62531-2012

IEEE/IEC 62531-2007 history

• 1970 IEEE/IEC 62531-2012 IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL)
• 1970 IEEE/IEC 62531-2007 IEC/IEEE International Standard for Property Specification Language (PSL)