| DC Field | Value | Language |
|---|
| dc.contributor.author | Черемисинова, Л. Д. | - |
| dc.contributor.author | Черемисинов, Д. И. | - |
| dc.date.accessioned | 2019-11-27T09:36:51Z | - |
| dc.date.available | 2019-11-27T09:36:51Z | - |
| dc.date.issued | 2019 | - |
| dc.identifier.citation | Черемисинова, Л. Д. Построение сокращенного графа достижимых состояний параллельного алгоритма / Черемисинова Л. Д., Черемисинов Д. И. // Информационные технологии и системы 2019 (ИТС 2019) = Information Teсhnologies and Systems 2019 (ITS 2019) : материалы международной научной конференции, Минск, 30 октября 2019 г. / Белорусский государственный университет информатики и радиоэлектроники; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2019. – С. 98 – 99. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/37530 | - |
| dc.description.abstract | Рассматривается задача верификации систем управления с параллелизмом поведения на основе графа
достижимых состояний. Показано, как можно существенно сократить сложность такого графа для
систем рассматриваемого класса, и предложен метод построения сокращенного графа достижимых состояний. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | метод построения сокращенного графа | ru_RU |
| dc.subject | язык параллельных автоматов | ru_RU |
| dc.title | Построение сокращенного графа достижимых состояний параллельного алгоритма | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2019
|
