Электронная библиотека (репозиторий) Томского государственного университета
конечные автоматы | Web-сервисы

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Checking robustness of web services based on the parallel composition of partial timed finite state machines
Authors: Shirokova, Ekaterina
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 256-261
Type: статьи в сборниках
Date: 2018
Description: In this paper, we discuss how the robustness of the
Add   Using models of finite transition systems for checking Web-service security
Authors: Shabaldina, Natalia V. | Darusenkova, Ekaterina V. | Yevtushenko, Nina V. | Kolomeets, Anton V.
Source: 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices : proceedings, Erlagol, Altai Republic, 29 June - 3 July, 2017. Novosibirsk, 2017. P. 151-154
Type: статьи в сборниках
Date: 2017
Description: In this paper we discuss how the web-service
  • «
  • ←
  • 1
  • →
  • »
^