Визовитин Н.В., Непомнящий В.А., Стененко А.А.
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
Автор: Визовитин Н.В., Непомнящий В.А., Стененко А.А. Вид автора: персона
Мова: Російська Обсяг: с.62-74
УДК: 519.172
Є складовою частиною документа: Кибернетика и системный анализ
| | Назва документа, в якому знаходиться дана частина: | Кибернетика и системный анализ |
| | Дата видання документа, в якому знаходиться дана частина: | 2015 |
| | Номер головного документа: | №2 |
Теми документа
|