Nvqi Zhou

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Web Service Composition

Probabilistic Model

Top Venues

Frontiers Comput. Sci.

计算机科学

Publications

Nvqi Zhou, Yu Zhou
基于概率模型检测的Web服务组合多目标验证 (Multi-objective Verification of Web Service Composition Based on Probabilistic Model Checking). 计算机科学 45 (8) (2018)
Yu Zhou, Nvqi Zhou, Tingting Han, Jiayi Gu, Weigang Wu
Probabilistic verification of hierarchical leader election protocol in dynamic systems. Frontiers Comput. Sci. 12 (4) (2018)