Standard

IEC 62531:2007 ED1

Révisé

Note: Version actuelle: IEC 62531:2012 ED2

Amendements et versions existants ou nouveaux doivent être achetés séparément.

Langue
Format

Résumé

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.

Spécifications des produits

  • Standard de IEC
  • Publié:
  • Radié:
  • Version: 1
  • Type de document: IS
  • Pages
  • Editeur: IEC
  • Distributeur: IEC
  • ICS: 25.040.01
  • Comité international: TC 91

Relations produit

Cycle de vie du produit