尚無此語言譯文，顯示簡體中文原文。

作品 · work_ieee_1850_2005

IEEE Std 1850-2005 · 關係

IEEE Std 1850-2005 是电气电子工程师学会的技术标准，题为“IEEE Standard for Property Specification Language (PSL)”；公开目录标为现行（Active），著录年份为 2005 年。