Standard

IEC 62531:2007 ED1

Nov 2007 Revised

Note: Latest version: IEC 62531:2012 ED2

Existing or new amendments and versions must be purchased separately.

Language English

Services Online + Pdf CHF 420,00 Online CHF 360,00

There are no extended editions available for this standard

There are no available corrigendum or amendments for this standard. Any future corrigendum and amendments will be added automatically for subscribers.

Abstract

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.

Products specifications

Standard from IEC
Published: November 7 2007
Withdrawn: June 21 2012
Edition: 1
Document type: IS
Pages
ISBN: 2831893526

Publisher: IEC
Distributor: IEC
ICS: 25.040.01
International TC: TC 91

Product Relations

Revised by: IEC 62531:2012 ED2

IEC 62531:2007 ED1

Create subscription

IEC 62531:2012 ED2