BH GSO IEC 62531:2016

IEC 62531:2012
Bahraini Standard   Current Edition · Approved on 08 February 2016

Property Specification Language (PSL)

BH GSO IEC 62531:2016 Files

English null Pages
Current Edition Reference Language

BH GSO IEC 62531:2016 Scope

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.

Best Sellers From Electrical Sector

GSO 2530:2016
 
Gulf Standard
Energy Labelling And Minimum Energy Performance Requirements For Air-Conditioners
GSO 34:2007
 
Gulf Technical Regulation
LEAD-ACID STARTER BATTERIES USED FOR MOTOR VEHICLES AND INTERNAL COMBUSTION ENGINES
BH GSO 34:2015
GSO 34:2007 
Bahraini Technical Regulation
LEAD-ACID STARTER BATTERIES USED FOR MOTOR VEHICLES AND INTERNAL COMBUSTION ENGINES
GSO 35:2007
 
Gulf Standard
Methods of test for lead-acid starter batteries used for motor vehicles and internal combustion engines

Recently Published from Electrical Sector

GSO IEC TR 63411:2026
IEC TR 63411:2025 
Gulf Standard
Grid connection of offshore wind via VSC-HVDC systems
GSO IEC 63522-32:2026
IEC 63522-32:2025 
Gulf Standard
Electrical relays - Tests and measurements - Part 32: Acoustic noise
GSO IEC 61362:2026
IEC 61362:2024 
Gulf Standard
Guidelines to specification of hydraulic turbine governing systems
GSO IEC TS 62271-313:2026
IEC TS 62271-313:2025 
Gulf Standard
High-voltage switchgear and controlgear - Part 313: Direct current circuit-breakers