Keine Übersetzung verfügbar; der Originaltext wird angezeigt. Originaltext: 简体中文

Werke · work_ieee_1850_2010_9404013_redline

IEEE Std 1850-2010 · Beziehungen

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