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...
Advertisement