© British Standards Institution 2025
Site Map
Standard

BS IEC 62531:2012

IEEE standard for property specification language (PSL)

Current

•

Published:

31 Aug 2012

Overview
Preview
References
History
Product Details
Descriptors
Verification
Programming languages
Electronic engineering
Data processing
Design
Computer software
Electronic equipment and components
Programming
Syntax
Semantics
ICS Codes
25.040.01 Industrial automation systems in general
35.060 Languages used in information technology
Committee
EPL/501
International relationships
Identical to:

IEC 62531:2012

ISBN
978 0 580 77672 4
Publisher
BSI