BS 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
English
31-12-2007
31-08-2012
| Committee |
EPL/501
|
| DocumentType |
Standard
|
| Pages |
0
|
| PublisherName |
British Standards Institution
|
| Status |
Superseded
|
| SupersededBy |
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.