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.
IEC 62531 Ed. 2.0 en:2012 History
IEC 62531 Ed. 2.0 en:2012
$256.00 $512.00
IEC 62531 Ed. 1.0 en:2007
$164.00 $328.00
More Standards PDF
IEC 60670-21 Ed. 1.0 b:2004
$25.00 $51.00
IEC 60747-16-4 Ed. 1.0 en:2004
$66.00 $132.00
IEC 60704-2-10 Ed. 1.0 b:2004
$43.00 $87.00
IEC 61360-5 Ed. 1.0 b:2004
$137.00 $275.00