Электронная библиотека (репозиторий) Томского государственного университета
Yevtushenko, Nina V. | 2018

Add to Quick Collection   All 5 Results

Showing items 1 - 5 of 5.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Deriving tests with guaranteed fault coverage for finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V.
Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedings. Cham, 2018. P. 149-154
Type: статьи в сборниках
Date: 2018
Description: In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivati ... More
Add   Minimizing deterministic timed finite state machines
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V. | Villa, Tiziano | Gromov, Maxim L. | Bresolin, Davide
Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492
Type: статьи в журналах
Date: 2018
Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More
Add   Security checking experiments with mobile services
Authors: Ermakov, Anton D. | Prokopenko, Svetlana A. | Yevtushenko, Nina V.
Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : proceedings. [S. l.], 2018. P. 139-141
Type: статьи в сборниках
Date: 2018
Description: In this paper, we continue to investigate the
Add   Test derivation for the software defined networking platforms: novel fault models and test completeness
Authors: Burdonov, Igor | Kossachev, Alexandre | López, Jorge | Kushik, Natalia G. | Zeghlache, Djamal | Yevtushenko, Nina V.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 358-363
Type: статьи в сборниках
Date: 2018
Description: Software Defined Networking (SDN) platforms are
Add   Towards checking web-services security: using automata equations and inequalities
Authors: Shabaldina, Natalia V. | Yevtushenko, Nina V. | Yu, F.
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 90
Type: статьи в сборниках
Date: 2018
  • «
  • ←
  • 1
  • →
  • »
^