尚無此語言譯文，顯示原文。 原文: 简体中文

作品 · work_ieee_1850_2005

IEEE Std 1850-2005 · 內容版本

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