Автор:
| Название: | Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic | 
|
| Тематика: | физико-математические науки | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 30.11.2021 | |
| Издательство: | NEXO REVISTA CIENTIFICA | |
| Название: | Behaviour examples for synthesizing automaton models by temporal formulas |
|
| Тематика: | экономика | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 30.11.2021 | |
| Издательство: | NEXO REVISTA CIENTIFICA | |