IEEE/IEC 62531-2007
Международный стандарт IEC/IEEE для языка спецификации свойств (PSL)

Стандартный №

IEEE/IEC 62531-2007

Разместил

Institute of Electrical and Electronics Engineers (IEEE)

состояние

быть заменен

быть заменен

IEEE/IEC 62531-2012

Последняя версия

IEEE/IEC 62531-2012

IEEE/IEC 62531-2007 История

• 1970 IEEE/IEC 62531-2012 IEC 62531:2012(E) (IEEE Std 1850-2010): Стандарт языка спецификации свойств (PSL).
• 1970 IEEE/IEC 62531-2007 Международный стандарт IEC/IEEE для языка спецификации свойств (PSL)