BS IEC 62531:2012
Active Standard
Most Recent

BS IEC 62531:2012

IEEE standard for property specification language (PSL)

Summary

Verification;Programming languages;Electronic engineering;Data processing;Design;Computer software;Electronic equipment and components;Programming;Syntax;Semantics

Technical characteristics

Publisher British Standards Institution (BSI)
Publication Date 08/31/2012
Page Count 188
Themes Semantics
EAN ---
ISBN ---
Weight (in grams) ---
No products.

Previous versions

Contact us