IEC 62531:2007
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
Standard for Property Specification Language (PSL)
Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users
31-12-2021
English
07-11-2007
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.
DocumentType |
Standard
|
Pages |
152
|
PublisherName |
International Electrotechnical Committee
|
Status |
Superseded
|
SupersededBy |
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.