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,...
Advertisement