IEC 62531:2007 ED1

Standard for Property Specification Language (PSL) IEC 62531:2007 ED1

Publication date:   Nov 7, 2007

General information

99.60 Withdrawal effective   Jun 21, 2012

IEC

TC 91

International Standard

25.040.01   Industrial automation systems in general

Buying

Revised

Language in which you want to receive the document.

Scope

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.

Life cycle

NOW

WITHDRAWN
IEC 62531:2007 ED1
99.60 Withdrawal effective
Jun 21, 2012

REVISED BY

PUBLISHED
IEC 62531:2012 ED2