It is currently not possible to order printed and bound versions of standards. This is due to challenges related to our printing supplier. We are working to resolve the situation and apologize for any inconvenience this may cause. For other options, contact salg@standard.no.
Standard

NEK IEC 62531:2012

Published
Preview

Corrigenda and amendments are bought separately.

Language
Services

Abstract

IEC 62531:2012(E) 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. This second edition cancels and replaces the first edition, published in 2007, and constitutes a technical revision.

Document information

  • Standard from NEK
  • Published:
  • Edition: 2.0
  • Version: 1
  • Document type: NAT
  • ICS 25.040.01
  • ICS 35.060
  • National Committee TC 91

Product Relations