Отображение 1 - 3 результаты of 3 для поиска 'Shirokova, Ekaterina V.', время запроса: 0.01сек. Отмена результатов
  1. 1
    Checking robustness of web services based on the parallel composition of partial timed finite state machines
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  2. 2
    Optimizing components of finite state machines composition based on don't care input sequences in hardware implementation
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  3. 3
    Using models of finite transition systems for checking Web-service security
    Другие авторы: “...Shirokova, Ekaterina V....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
Инструменты поиска: RSS-поток