Лукьянова Е. А.
Применение компонентных сетей Петри в задачах верификации параллельных распределенных систем
Вид документа: Стаття періодики
Автор: Лукьянова Е. А. Вид автора: персона
Мова: Російська Обсяг: С. 93-98
Шифр: 004.021+004.312.4+004.414.2 УДК: 004.021+004.312.4+004.414.2
| Аннотацiя: | В работе рассмотрены модели Крипке двух математических моделей параллельных распределенных систем. |
Є складовою частиною документа: Проблеми програмування
| | Назва головного документа: | Проблеми програмування |
| | Дата видання головного документа: | 2014 |
| | Номер частини головного документа: | № 2-3 |
Теми документа
|
