Материалов:
1 005 012

Репозиториев:
30

Авторов:
596 024

По вашему запросу найдено документов: 2378

Страница 1 из 238

Trends in the development of databases on statistics in the OECD, the EU and Russia
Chistyakova, Natalia, Abushahmanova, J., Shabaldina, Natalia, Spitsin, Vladislav V.
Comparative investment analysis of industries development in Russia and Germany
Chistyakova, Natalia, Dudnikova, Alena, Gromova, Tatiyana, Spitsin, Vladislav V., Shabaldina, Natalia
Towards checking web-services security: using automata equations and inequalities
Shabaldina, Natalia V., Yevtushenko, Nina V., Yu, F.
Using models of finite transition systems for checking Web-service security
Shabaldina, Natalia V., Darusenkova, Ekaterina V., Yevtushenko, Nina V., Kolomeets, Anton V.
Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service
Forostyanova, Maria S., Shabaldina, Natalia V., Yevtushenko, Nina V.
Information system designing for innovative development assessment of the efficiency of the Association of Innovative Regions of Russia members
Spitsin, Vladislav V., Spitsina, L. Y., Karasenko, A., Shashkov, D., Shabaldina, Natalia, Berestneva, Olga Grigorevna
Experiments on parallel composition of timed finite state machines
Sotnikov A. P., Shabaldina, Natalia V., Gromov, Maxim L.
FSM-based sequential circuits optimization by changing initial state of specification
Gromov, Maxim L., Shabaldina, Natalia V., Tvardovskii, Aleksandr, Prokopenko, Svetlana A.
Derivation of the cascade parallel composition of timed finite state machines using BALM-II
Gromov, Maxim L., Shabaldina, Natalia V.
FSMTest-1.0: a manual for researches
Shabaldina, N., Gromov, M.

Страница 1 из 238

Фасеты

Новости проекта

Новости

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core