ANSI/IEEE 1850:2010
Estándar para el lenguaje de especificación de propiedades (PSL)

Estándar No.

ANSI/IEEE 1850:2010

Fecha de publicación

2010

Organización

American National Standards Institute （ANSI)

Ultima versión

ANSI/IEEE 1850:2010

Alcance

Este estándar define el lenguaje de especificación de propiedades (PSL), que describe formalmente el comportamiento del sistema electrónico. Este estándar especifica la sintaxis y la semántica de PSL y también aclara cómo interactúa PSL con varios lenguajes de diseño de sistemas electrónicos estándar.

ANSI/IEEE 1850:2010 Historia

• 2010 ANSI/IEEE 1850:2010 Estándar para el lenguaje de especificación de propiedades (PSL)