NEN-IEC 62531
Standard for Property Specification Language (PSL)
inactive
| Organization: | NEN |
| Publication Date: | 1 December 2007 |
| Status: | inactive |
| Page Count: | 158 |
| ICS Code (Industrial automation systems): | 25.040 |
scope:
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.
Document History
June 1, 2012
Property Specification Language (PSL)
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...
NEN-IEC 62531
December 1, 2007
Standard for Property Specification Language (PSL)
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...