Показати скорочений опис матеріалу
Применение Event-B для создания систем на программируемой логике
dc.contributor.author | Прохорова, Ю.Н. | |
dc.contributor.author | Остроумов, С.Б. | |
dc.contributor.author | Трубицына, Е.А. | |
dc.contributor.author | Лайбнис, Л.В. | |
dc.date.accessioned | 2023-01-03T10:03:57Z | |
dc.date.available | 2023-01-03T10:03:57Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Применение Event-B для создания систем на программируемой логике / Ю. Н. Прохорова, С. Б. Остроумов, Е. А. Трубицына, Л. В. Лайбинис // Радіоелектронні і комп'ютерні системи. – 2009. – № 6. – С. 245–250. | uk_UA |
dc.identifier.issn | 1814-4225 | |
dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3528 | |
dc.description.abstract | Приведены особенности создания формальной спецификации систем на программируемой логике. Рассмотрены примеры описания таких систем в Event-B. Предложены элементы методики формального описания и трансляции полученной спецификации в код на языке описания аппаратуры VHDL. | uk_UA |
dc.description.abstract | Наведено особливості створення формальної специфікації систем на програмованій логіці. Розглянуто приклади опису таких систем у Event-B. Запропоновано елементи методики формального опису та трансляції отриманої специфікації в код мовою опису апаратури VHDL. | uk_UA |
dc.language.iso | ru | uk_UA |
dc.publisher | ХАІ | uk_UA |
dc.subject | радиоэлектронные и компьютерные системы | uk_UA |
dc.subject | Event-B | uk_UA |
dc.subject | VHDL | uk_UA |
dc.subject | информационно-управляющая система | uk_UA |
dc.subject | система обработки информации | uk_UA |
dc.subject | радіоелектронні і комп'ютерні системи | uk_UA |
dc.subject | інформаційно-керуюча система | uk_UA |
dc.subject | система обробки інформації | uk_UA |
dc.title | Применение Event-B для создания систем на программируемой логике | uk_UA |
dc.type | Article | uk_UA |