IEC 62531 Ed. 1.0 en:2007

Standard for Property Specification Language (PSL)

International Electrotechnical Commission , 11/07/2007

Publisher: IEC

File Format: PDF

$164.00$328.00


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

IEC 62531 Ed. 2.0 en:2012

$256.00 $512.00

IEC 62531 Ed. 1.0 en:2007

IEC 62531 Ed. 1.0 en:2007

$164.00 $328.00

More IEC Standards PDF

IEC 60958-SER Ed. 1.0 en:2023

IEC 60958-SER Ed. 1.0 en:2023

$586.00 $1,173.00

IEEE 762-2023

IEEE 762-2023

$84.00 $169.00

IEC 61158-6-23 Ed. 3.0 en:2023
IEC 62977-3-9 Ed. 1.0 en:2023