Standard for Property Specification Language (PSL)

Available format(s)

Hardcopy , PDF

Superseded date

31-08-2012

Language(s)

English

Published date

31-12-2007

Publisher

British Standards Institution

Committee	EPL/501
DocumentType	Standard
Pages	0
PublisherName	British Standards Institution
Status	Superseded
SupersededBy	BS IEC 62531:2012

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.

View more information

€343.11

Excluding VAT

Product format

I agree to the DRM document license rules apply against the PDF selection made.

Please confirm that you agree to the document license rules for this document.

I agree to the document license rules .

Please confirm that you agree to the document license rules for this document.

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.

Get in touch with us

BS IEC 62531:2007

Standard for Property Specification Language (PSL)

General Product Information

Scope

Category

Subcategory