Login / Signup
Chengyang Mi
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Automated Verification
Model Checking
Computation Tree Logic
Timed Automata
Top Venues
SERA
</>
Publications
</>
Chengyang Mi
,
Huaikou Miao
,
Jinyu Kai
,
Honghao Gao
Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.
SERA
(2016)