IEC 62531-2007
特性规范语言(PSL)用标准

Standard for property specification language (PSL)

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 IEC 62531-2007 前三页，或者稍后再访问。

如果您需要购买此标准的全文，请联系： 。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

IEC 62531-2007

发布日期

2007年11月

实施日期

废止日期

无

中国标准分类号

L74

国际标准分类号

25.040;35.060

发布单位

IX-IEC

代替标准

IEC 62531-2012

适用范围

This standard defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages.