IEC 62531-ed.2.0

Property Specification Language (PSL)

NORMA vydána dne 21.6.2012

Anglicky -
Elektronické PDF (12787.70 CZK)

Anglicky -

Tištěné (12787.70 CZK)

Anglicky -

CD-ROM (12825.40 CZK)

Informace o normě:

Označení normy: IEC 62531-ed.2.0
Datum vydání normy: 21.6.2012
Počet stran: 174
Přibližná hmotnost: 553 g (1.22 liber)
Země: Mezinárodní technická norma
Kategorie: Technické normy IEC

Anotace textu normy IEC 62531-ed.2.0 :

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.