IEC 62531:2012
Active Standard
Most Recent

IEC 62531:2012

IEC 62531:2012 Property Specification Language (PSL)

Summary

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 how PSL interfaces with various standard electronic system design languages. This second edition cancels and replaces the first edition, published in 2007, and constitutes a technical revision.

Technical characteristics

Publisher International Electrotechnical Commission (IEC)
Publication Date 06/21/2012
Edition 2.0
Page Count 174
EAN ---
ISBN ---
Weight (in grams) ---
No products.
No products.
No products.
Contact us