IEC - International Electrotechnical Commission - IEC 62531:2012
Property Specification Language (PSL)
published
Buy Now
| Organization: | IEC - International Electrotechnical Commission |
| Publication Date: | 21 June 2012 |
| Status: | published |
| Page Count: | 174 |
| ICS Code (Industrial automation systems in general): | 25.040.01 |
| ICS Code (Languages used in information technology): | 35.060 |
abstract:
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... View More
Document History
IEC 62531:2012
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...
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...