Showing 1 - 10 results of 10 for search 'Shabaldina, Natalia V.', query time: 0.02s Refine Results
  1. 1
    FSMTest-1.0: a manual for researches
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  2. 2
    Towards checking web-services security: using automata equations and inequalities
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  3. 3
    Derivation of the cascade parallel composition of timed finite state machines using BALM-II
    Other Authors: “...Shabaldina, Natalia V....”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  4. 4
    Experiments on parallel composition of timed finite state machines
    Other Authors: “...Shabaldina, Natalia V....”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  5. 5
    Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service
    Other Authors: “...Shabaldina, Natalia V....”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  6. 6
    Trends in the development of databases on statistics in the OECD, the EU and Russia
    Other Authors: “...Shabaldina, Natalia V...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  7. 7
    FSM-based sequential circuits optimization by changing initial state of specification
    Other Authors: “...Shabaldina, Natalia V....”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  8. 8
    Using models of finite transition systems for checking Web-service security
    Other Authors: “...Shabaldina, Natalia V....”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  9. 9
    Comparative investment analysis of industries development in Russia and Germany
    Other Authors: “...Shabaldina, Natalia V...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  10. 10
    Information system designing for innovative development assessment of the efficiency of the Association of Innovative Regions of Russia members
    Other Authors: “...Shabaldina, Natalia V...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
Search Tools: Get RSS Feed