BS IEC 62531:2007

$215.11

Standard for Property Specification Language (PSL)

Published By	Publication Date	Number of Pages
BSI	2007	154

Guaranteed Safe Checkout

Categories: 25.040.01 - Industrial automation systems in general, BSI

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Description

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.

Additional information

Status	Withdrawn
Title	Standard for Property Specification Language (PSL)
Publisher	BSI
Committee	EPL/501
Pages	154
Publication Date	2007-12-31
Withdrawn Date	2012-08-31
Replaced By	BS IEC 62531:2012
ISBN	978 0 580 59321 5
Standard Number	BS IEC 62531:2007
Identical National Standard Of	IEC 62531:2007
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

Preview PDF

BS IEC 62531:2007

$215.11


PDF Format	Searchable	Printable	Preview Now