Please use this identifier to cite or link to this item:
https://libeldoc.bsuir.by/handle/123456789/34197
| Title: | Метод логико-временного анализа цифровых систем с ограничением на время отклика |
| Authors: | Черемисинов, Д. И. |
| Keywords: | материалы конференций;анализ цифровых систем;RTCTL |
| Issue Date: | 2018 |
| Publisher: | БГУИР |
| Citation: | Черемисинов, Д. И. Метод логико-временного анализа цифровых систем с ограничением на время отклика / Д. И. Черемисинов // Информационные технологии и системы 2018 (ИТС 2018) = Information Technologies and Systems 2018 (ITS 2018) : материалы международной научной конференции, Минск, 25 октября 2018 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2018. – С. 28 - 29. |
| Abstract: | Предлагается метод анализа цифровых систем по алгоритмическому описанию на языке параллельных
алгоритмов логического управления. Метод основан на построении множества структурных состояний
переходов параллельного алгоритма и расширенного графа достижимости состояний на множестве меток и логических переменных алгоритма, и является модификацией метода символической проверки на
модели. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/34197 |
| Appears in Collections: | ИТС 2018
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
