IEC 62531 Ed. 1.0 en:2007

Standard for Property Specification Language (PSL)

International Electrotechnical Commission , 11/07/2007

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

Product Information

Published: 11/07/2007
Pages: 152
File Size: 1 file , 2.1 MB
Language: English
Note: This product is unavailable in Ukraine, Russia, Belarus
IEC 62531 Ed. 2.0 en:2012
IEC 62531 Ed. 1.0 en:2007

Related Documents

IEC 62760 Ed. 1.1 b:2019
IEC 61084-2-3 Ed. 1.0 b:2017
IEC 61968-13 Ed. 1.0 b:2008
IEC 60745-2-14 Ed. 2.1 b:2006