Checking robustness of web services based on the parallel composition of partial timed finite state machines

Дата публикации: 2018

Дата публикации в реестре: 2020-03-03T19:58:27Z

Аннотация:

Тип: статьи в сборниках

Источник: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 256-261