Terjemahan belum tersedia; teks asal dipaparkan. Teks asal: 简体中文

Karya · work_ieee_1850_2010_5948308_redline

IEEE Std 1850-2010 · Relasi

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