No products
View larger New product
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.
| Author | International Electrotechnical Commission (IEC) |
|---|---|
| Published by | IEC |
| Document type | Standard |
| Format | File |
| Edition | 2.0 |
| ICS | 25.040.01 : Industrial automation systems in general 35.060 : Languages used in information technology |
| Number of pages | 174 |
| Replace | IEC 62531 CEI 62531 |
| Cross references | BS IEC 62531 (2012-08-31), IDT |
| Year | 2012 |
| Document history | IEC 62531 (2012-06) |
| Country | Switzerland |
| Keyword | IEC62531;IEC 62531:2012 |