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 62973-3:2025
IEC 62973-3:2024 
Gulf Standard
Railway applications - Rolling stock - Batteries for auxiliary power supply systems - Part 3: Lead acid batteries
GSO IEC 60352-2:2025
IEC 60352-2:2024 
Gulf Standard
Solderless connections - Part 2: Crimped connections - General requirements, test methods and practical guidance
GSO IEC 62841-4-1:2025
IEC 62841-4-1:2017 
Gulf Standard
Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery - Safety - Part 4-1: Particular requirements for chain saws
GSO IEC 62933-5-3:2025
IEC 62933-5-3:2023 
Gulf Standard
Electrical energy storage (EES) systems - Part 5-3: Safety requirements for grid-integrated EES systems – Performing unplanned modification of electrochemical based system