极端的正确性 发表于 2025-4-1 02:49:18

http://reply.papertrans.cn/103/10217/1021614/1021614_61.png

pellagra 发表于 2025-4-1 08:47:48

http://reply.papertrans.cn/103/10217/1021614/1021614_62.png

Fracture 发表于 2025-4-1 11:45:09

Formal Modeling and Analysis of the REST Architecture Using CSPonfined to HTTP but can also be applied to other REST-compliant protocols. Finally a case study about an application scenario for environment monitoring is illustrated to show the feasibility of our approach. Consequently, better understanding of REST can be achieved and implementations of RESTful systems can benefit from it.

anaphylaxis 发表于 2025-4-1 15:37:32

http://reply.papertrans.cn/103/10217/1021614/1021614_64.png

phase-2-enzyme 发表于 2025-4-1 21:47:58

http://reply.papertrans.cn/103/10217/1021614/1021614_65.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Web Services and Formal Methods; 9th International Wo Maurice H. Beek,Niels Lohmann Conference proceedings 2013 Springer-Verlag Berlin Heid