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.
IEC 62531 Ed. 1.0 en:2007 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 60317-0-2 Ed. 4.0 b:2020
$117.00 $234.00
IEC 62474 Ed. 2.1 b:2020
$202.00 $405.00
IEC 60749-30 Ed. 2.0 b:2020
$47.00 $95.00
IEC 61803 Ed. 2.0 b:2020
$139.00 $278.00