Vertaling ontbreekt; de brontekst wordt getoond. Brontekst: 简体中文

Werken · work_ieee_1850_2010_5445949

IEEE Std 1850-2010 · Chronologie

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