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.
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
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.
Important note : Users cannot be edited or removed once added to your Multi user PDF.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.