Искать

Фильтры

Используйте фильтры для более точного отбора.

Текщие фильтры:

















Новые фильтры:

Показано 1 из 1 результатов для Раздела: Труды сотрудников ФИТ. (0.001 секунд)

Отображаемые элементы 1-1 из 1

1

Моделирование спецификаций распределенных систем на языке dynamic-real сетями петри высокого уровня

Непомнящий, Валерий Александрович; Попова, Наталья Сергеевна; Чурина, Татьяна Геннадьевна (Новосибирский государственный университет, 2013-03-02)

Отображаемые элементы 1-1 из 1

1

Просмотр

Весь DSpace
Это сообщество

Моя учетная запись

Обзор

Автору
- A. P. Ershov Institute of Informatics Systems SB RAS (1)
- Novosibirsk State University (1)
- Институт систем инфо матики им. А. П. Е шова СО РАН (1)
- Непомнящий, Валерий Александрович (1)
- Новосирби ский государ ственный универ ситет (1)
- Попова, Наталья Сергеевна (1)
- Чурина, Татьяна Геннадьевна (1)
Темы
- 004.7 (1)
- coloured Petri nets (1)
- distributed systems (1)
- hierarchical timed typed nets (1)
- language Dynamic-REAL (1)
- translation method (1)
- иерархические временные типизированные сети (1)
- метод трансляции (1)
- раскрашенные сети Петри (1)
- распределенные системы (1)
- ... Показать все
Даты защиты ВКР (даты публикации)
- 2013 (1)
Has File(s)
- Yes (1)