IEC 62531-ed.2.0

Property Specification Language (PSL)

NORM herausgegeben am 21.6.2012

Englisch -
Elektronische PDF (577.80 EUR)

Englisch -

Gedruckt (577.80 EUR)

Englisch -

CD-ROM (579.40 EUR)

Informationen über die Norm:

Bezeichnung normen: IEC 62531-ed.2.0
Ausgabedatum normen: 21.6.2012
Zahl der Seiten: 174
Gewicht ca.: 553 g (1.22 Pfund)
Land: Internationale technische Norm
Kategorie: Technische Normen IEC

Die Annotation des Normtextes 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.