Language:
    • Available Formats
    • Options
    • Availability
    • Priced From ( in USD )
    • Printed Edition
    • Ships in 1-2 business days
    • $512.00
    • Add to Cart

Customers Who Bought This Also Bought

 

About This Item

 

Full Description

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 History

  1. IEC 62531 Ed. 2.0 en:2012

    👀currently
    viewing


    Property Specification Language (PSL)

    • Most Recent
  2. IEC 62531 Ed. 1.0 en:2007


    Standard for Property Specification Language (PSL)

    • Historical Version