Superseded
Standard
Historical
IEC 62531:2007
Standard for Property Specification Language (PSL)
Preview
Summary
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.
Technical characteristics
| Publisher | International Electrotechnical Commission (IEC) |
| Publication Date | 11/07/2007 |
| Release Date | 11/07/2007 |
| Cancellation Date | 06/21/2012 |
| Edition | 1 |
| Page Count | 152 |
| EAN | --- |
| ISBN | --- |
| Weight (in grams) | --- |
No products.
Previous versions
No products.