BS IEC 62531:2007
Superseded
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)
Available format(s)
Hardcopy , PDF
Language(s)
English
Published date
31-12-2007
Publisher
Superseded date
31-08-2012
Superseded by
€365.60
Excluding VAT
| 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.
Summarise