BS IEC 62531:2012

$215.11

IEEE standard for property specification language (PSL)

Published By	Publication Date	Number of Pages
BSI	2012	188

Guaranteed Safe Checkout

Category: 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

This standard 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	Definitive
Pages	188
Publication Date	2012-08-31
ISBN	978 0 580 77672 4
Standard Number	BS IEC 62531:2012
Title	IEEE standard for property specification language (PSL)
Identical National Standard Of	IEC 62531:2012
Replaces	BS IEC 62531:2007
Descriptors	Verification, Programming languages, Electronic engineering, Data processing, Design, Computer software, Electronic equipment and components, Programming, Syntax, Semantics
Publisher	BSI
Committee	EPL/501
ICS Codes	35.060 - Languages used in information technology

Preview PDF

BS IEC 62531:2012

$215.11


PDF Format	Searchable	Printable	Preview Now

BS IEC 62531:2012

Related products

BS IEC 62531:2012

IEEE IEC 62531 2012