IEEE

IEEE 1850-2010

IEEE Standard for Property Specification Language (PSL)

IEEE 1850-2010

IEEE Standard for Property Specification Language (PSL)


IEEE 1850-2010

Стандарт IEEE для спецификации свойств языка (PSL)


Не действует

Дата ввода
06.04.2010
Дата утверждения
Тип Цена
Электронная версия ( PDF ) 471.00
Печатная копия По запросу
Redline - Электронная версия ( PDF ) По запросу
Redline - Печатная копия По запросу

Наименования

IEEE 1850-2010 IEEE Standard for Property Specification Language (PSL)

IEEE 1850-2010 Стандарт IEEE для спецификации свойств языка (PSL)

Утверждено

Информация отсутствует

Область применения

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.

Разделы

[2] IEEE Computer Society

Изменения

Информация отсутствует

Основополагающие документы

Информация отсутствует

Документ заменяют

Информация отсутствует

Документ заменил

Информация отсутствует

Основополагающие документы

Информация отсутствует