Translation unavailable — showing the source text. Source text: 简体中文

Works · work_ieee_1850_2010_5445949

IEEE Std 1850-2010 · History

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