Search BSI Knowledge
Cookie Settings
BS IEC 62531:2007 | 31 Dec 2007 | BSI Knowledge
Standard
Withdrawn
BS IEC 62531:2007
Standard for Property Specification Language (PSL)
Published:
31 Dec 2007
•
Withdrawn:
31 Aug 2012
Overview
Preview
References
History
Visit the preview section for more information
Product Details
Descriptors
Verification
Computer software
Syntax
Data processing
Programming languages
Programming
Electronic engineering
Electronic equipment and components
Semantics
Design
ICS Codes
25.040.01 Industrial automation systems in general
35.020 Information technology (IT) in general
35.060 Languages used in information technology
35.260 Office machines
Committee
EPL/501
International relationships
Identical to:
IEC 62531:2007
ISBN
978 0 580 59321 5
Publisher
BSI