الترجمة غير متاحة؛ يُعرض النص الأصلي. النص الأصلي: 简体中文

أعمال · work_ieee_1850_2005

IEEE Std 1850-2005 · التسلسل

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