Formalization and Verification of REST Architecture in Viewpoints - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo. Formalization and Verification of REST Architecture in Viewpoints. In 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. pages 197-206, IEEE, 2015. [doi]

The following publications are possibly variants of this publication:

Formalization and Verification of REST on HTTP Using CSPTing Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin. ENTCS, 309:75-93, 2014. [doi]

runs on WebDSL