IEEE - Institute of Electrical and Electronics Engineers, Inc. - 62531-2007
IEC 62531 Ed. 1 (2007-11) (IEEE Std 1850-2005): Standard for Property Specification Language (PSL)
active
-
Superseded by
62531-2012
Buy Now
Organization: | IEEE - Institute of Electrical and Electronics Engineers, Inc. |
Publication Date: | 9 December 2007 |
Status: | active |
Page(s): | 1 - 152 |
ICS Code (Industrial automation systems): | 25.040 |
ICS Code (Languages used in information technology): | 35.060 |
ISBN (Electronic): | 978-0-7381-5727-6 |
DOI: | 10.1109/IEEESTD.2007.4408637 |
Regular:
The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system... View More
Standard:
(IEC 62531 Ed. 1 (2007-11) (IEEE Std 1850-2005). The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system... View More
Document History

June 28, 2012
IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL)
The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages,...

June 28, 2012
IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL) - Redline
The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages,...

62531-2007
December 9, 2007
IEC 62531 Ed. 1 (2007-11) (IEEE Std 1850-2005): Standard for Property Specification Language (PSL)
(IEC 62531 Ed. 1 (2007-11) (IEEE Std 1850-2005). The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior,...