Издательство: "NEXO REVISTA CIENTIFICA"
| Название: | Behaviour examples for synthesizing automaton models by temporal formulas | 
|
| Автор ПГУ: | Дмитрий Владимирович  Алексей Иванович Дмитрий Анатольевич Михаил Юрьевич Михаил Матвеевич Пащенко Татьяна Юрьевна | |
| Тематика: | экономика | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 30.11.2021 | |
| Название: | Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic |
|
| Автор ПГУ: | Дмитрий Владимирович Алексей Иванович Дмитрий Анатольевич Михаил Юрьевич Михаил Матвеевич Пащенко Татьяна Юрьевна | |
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 30.11.2021 | |
| Название: | Research of a multithreaded non-deterministic system model |
|
| Автор ПГУ: | Дмитрий Владимирович Дмитрий Анатольевич Алексей Иванович Михаил Матвеевич Михаил Юрьевич Пащенко Татьяна Юрьевна | |
| Тематика: | экономика | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 30.11.2021 | |