IEEE 1850-2010

IEEE Standard for Property Specification Language (PSL)

IEEE, 04/06/2010

Publisher: IEEE

File Format: PDF

$157.00$314.00


Published:06/04/2010

Pages:182

File Size:1 file , 1.6 MB

Note:This product is unavailable in Russia, Belarus

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.

More IEEE standard pdf

IEEE 1477-1998

IEEE 1477-1998

IEEE Standard for Passenger Information System for Rail Transit Vehicles

$68.00 $136.00

IEEE 338-2006

IEEE 338-2006

IEEE Standard Criteria for the Periodic Surveillance Testing of Nuclear Power Generating Station Safety Systems

$67.00 $134.00

IEEE 1387.3-1996

IEEE 1387.3-1996

IEEE Standard for Information Technology -- Portable Operating System Interface (POSIX(TM)) System Administration -- Part 3: User and Group Account Administration

$80.00 $160.00

IEEE 1243-1997

IEEE 1243-1997

IEEE Guide for Improving the Lightning Performance of Transmission Lines

$71.00 $142.00