Доказательное проектирование алгоритмов функционирования реактивных систем
Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке L, и методы их решения....
Збережено в:
Видавець: | Інститут проблем штучного інтелекту МОН України та НАН України |
---|---|
Дата: | 2008 |
Автори: | Чеботарев, А.Н., Головинский, А.Л. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2008
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/7164 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Построение суперкомпьютера кластерной архитектуры без использования сети Ethernet
за авторством: Горенко, C.А., та інші
Опубліковано: (2008) -
Построение высокопроизводительной дисковой подсистемы для суперкомпьютеров кластерной архитектуры
за авторством: Бандура, О.Ю., та інші
Опубліковано: (2008) -
Применение технологий интеллектуальных систем для создания современных автоматизированных систем мониторинга и прогноза
за авторством: Владимиров, А.Н.
Опубліковано: (2008) -
Архитектура семейства реконфигурируемых вычислительных систем на основе ПЛИС
за авторством: Каляев, И.А., та інші
Опубліковано: (2008) -
Автоматический метод оперативного построения абстракций при верификации формальных моделей асинхронных систем
за авторством: Колчин, А.В.
Опубліковано: (2008)