IEC > Webstore > Search > Register > Check out > Payment > Order confirmation

Publication detail

 
Reference IEC 62531 ed2.0 withdrawn corrigendum
> preview
Title Property Specification Language (PSL)
Publication date 2012-06-21
Format, price
(Swiss francs)
and language
340.- 174 pages
340.- 1691 Kb
 
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.
Technical Committee 91 - Electronics assembly technology  RSS
ICS Codes
25.040 Industrial automation systems
*IT applications in industry, see 35.240.50

35.060 Languages used in information technology
 
Replaced by
Stability date 2015
 
Work in progress
ProjectStage codeForecast publication date
No project under development--

Search

>> Advanced search

Quick access by ref. number



Basket

Your basket is empty
 Your country is :
Your TVA is : You must login...

Payment

Accepted credit cards:
Prices in CHF (Swiss francs)
Request a pro forma to pay by bank transfer or cheque
Learn how to share your publications with your colleagues, using networking options
Prices in CHF (Swiss francs)
We accept the following credit cards:
To pay by bank transfer: request a pro forma
If you purchase regularly through the IEC Webstore you can open a corporate account

Just Published

>> Published in the last 30 days

Bestsellers

  1. IEC 60068-2-30 Ed. 3.0
  2. IEC 60068-2-2 Ed. 5.0
  3. IEC 60529 Ed. 2.1
  4. IEC 60529 Ed. 2.1
  5. IEC 61010-1 Ed. 3.0
  6. IEC 60068-2-2 Ed. 5.0
  7. IEC 60068-2-1 Ed. 6.0
  8. IEC 60068-2-2 Ed. 5.0
  9. IEC 62133 Ed. 2.0
  10. IEC 60601-1 Ed. 3.0