Loading data. Please wait

IEC 62531 Ed. 1.0 en:2007 [ Withdrawn ]

Standard for Property Specification Language (PSL)

Pages: 152
Publication date: 2007-11-07
Price: 328 vnd

Add to cart
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.
Document identifier
IEC 62531 Ed. 1.0 en:2007 [ Withdrawn ]
Title
Standard for Property Specification Language (PSL)
IEC Category
TC 93: Design automation
Publication date
2007-11-07
Status
Ineffective
International Relationship
Cross references
Latest version
IEC 62531 Ed. 2.0 en:2012
Property Specification Language (PSL)
Document identifier IEC 62531 Ed. 2.0 en:2012
Publication date 2012-06-21
Classification 25.040. Industrial automation systems
25.040.01. Industrial automation systems in general
35.060. Languages used in information technology
Status Effective
*
History of version
IEC 62531 Ed. 2.0 en:2012*IEC 62531 Ed. 1.0 en:2007 [ Withdrawn ] * IEC 62531 Ed. 2.0 en:2012 * IEC 62531 Ed. 1.0 en:2007
Keywords
Pages
152
Price 328 vnd