Отображение 1 - 10 результаты of 10 для поиска 'Shabaldina, Natalia V', время запроса: 0.04сек. Отмена результатов
  1. 1
    FSMTest-1.0: a manual for researches
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  2. 2
    Towards checking web-services security: using automata equations and inequalities
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  3. 3
    Derivation of the cascade parallel composition of timed finite state machines using BALM-II
    по Gromov, Maxim L.
    Опубликовано в: Automatic control and computer sciences
    Другие авторы: “...Shabaldina, Natalia V....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  4. 4
    Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service
    Другие авторы: “...Shabaldina, Natalia V....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  5. 5
    Experiments on parallel composition of timed finite state machines
    Другие авторы: “...Shabaldina, Natalia V....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  6. 6
    Trends in the development of databases on statistics in the OECD, the EU and Russia
    Другие авторы: “...Shabaldina, Natalia V...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  7. 7
    FSM-based sequential circuits optimization by changing initial state of specification
    Другие авторы: “...Shabaldina, Natalia V....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  8. 8
    Using models of finite transition systems for checking Web-service security
    Другие авторы: “...Shabaldina, Natalia V....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  9. 9
    Comparative investment analysis of industries development in Russia and Germany
    Другие авторы: “...Shabaldina, Natalia V...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  10. 10
    Information system designing for innovative development assessment of the efficiency of the Association of Innovative Regions of Russia members
    Другие авторы: “...Shabaldina, Natalia V...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
Инструменты поиска: RSS-поток