Standard

IEC 62531:2007 ED1

Nov 2007 Revised

Note: This standard has a new edition: IEC 62531:2012 ED2

Corrigendums and amendments are bought separately.

Language English

Services Read Online (No printing ) kr 5 852,00 Printed and bound Delivery time: 5-10 days kr 7 315,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.

Document information

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

ICS 25.040.01
ISO TC TC 91

Product Relations

Revised by: IEC 62531:2012 ED2

IEC 62531:2007 ED1

Access to standards for the entire organization

Benefits of our business solution:

Contact us today for a non-binding offer

IEC 62531:2012 ED2