Search

Filters

Use filters to refine the search results.

Current Filters:






New Filters:

Showing 1 out of a total of 1 results for community: Труды сотрудников ФИТ. (0.002 seconds)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

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

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

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of DSpace
This Community
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Discover

Author
- A. P. Ershov Institute of Informatics Systems SB RAS (1)
- Novosibirsk State University (1)
- Институт систем инфо матики им. А. П. Е шова СО РАН (1)
- Непомнящий, Валерий Александрович (1)
- Новосирби ский государ ственный универ ситет (1)
- Попова, Наталья Сергеевна (1)
- Чурина, Татьяна Геннадьевна (1)
Subject
- 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)
- ... View More
Date Issued
- 2013 (1)
Has File(s)
- Yes (1)