Publication CODE |
Title |
IEC 62531:2012 (2012-06) |
PROPERTY SPECIFICATION LANGUAGE (PSL) |
|
Price Excl. VAT |
Total number of pages, tables and drawings |
451.00 €
|
174 P. |
Description
IEC 62531:2012(E) 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. This second edition cancels and replaces the first edition, published in 2007, and constitutes a technical revision.
|
Class |
C990
(IEC PUBLICATIONS IEC PUBLICATIONS)
|
Status |
IEC PUBLICATION |
Situation |
Currently active
Replaces
IEC 62531:2007
|
|
BEC Approval |
2012-06-21 |
Registration |
127312 |
ICS-Code (International Standards Classification) |
25.040.01
, 35.060
|
NBN Status |
New |
|
IEC publication date |
2012-06-21 |
IEC stability date |
2020-12-31 |
IEC last modification date |
2016-12-08 |
|