IEC - International Electrotechnical Commission - IEC 62531:2007
Standard for Property Specification Language (PSL)
revised
Buy Now
| Organization: | IEC - International Electrotechnical Commission |
| Publication Date: | 7 November 2007 |
| Status: | revised |
| Page Count: | 152 |
| ICS Code (Industrial automation systems in general): | 25.040.01 |
abstract:
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... View More
Document History
June 21, 2012
Property Specification Language (PSL)
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...
IEC 62531:2007
November 7, 2007
Standard for Property Specification Language (PSL)
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...