Formal Modeling of RESTful Systems Using Finite-State Machines
Ivan Zuzak
◽
Ivan Budiselic
◽
Goran Delac
2020 ◽
Vol 7
(3)
◽
pp. 1-26
Peng Jiang
◽
Yang Xia
◽
Gagan Agrawal
Ivan S. Polevshchikov
◽
Elizaveta B. Krokha
1996 ◽
Vol 30
(3)
◽
pp. 59-66
K. El‐Fakih
◽
Ayman Alzaatreh
◽
Uraz Cengiz Türker
E.E. Kuruoglu
◽
E. Ayanoglu
M. G. Gouda
◽
C. K. Chang
2010 ◽
Vol 46
(1)
◽
pp. 1-6
◽
1993 ◽
Vol 26
(2)
◽
pp. 689-692
Galina Kidyarova
◽
Nina Yevtushenko