Ekaterina Shirokova. Checking Robustness of Web Services Based on the Parallel Composition of Partial Timed Finite State Machines. In 2018 IEEE East-West Design & Test Symposium, EWDTS 2018, Kazan, Russia, September 14-17, 2018. pages 1-6, IEEE, 2018. [doi]
Abstract is missing.