Codes et normes - Achat
IEC 62531:2012
Property Specification Language (PSL)
SKU: iec_007163_046586
Publié par IEC
Année de publication 2012
2.0 Edition
174 pages
détails du produit
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.