Login / Signup
Dongqian Liu
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Cooperative
Fault Tolerant
Loosely Coupled
Formal Analysis
Top Venues
FOCLASA
</>
Publications
</>
Ludovic Henrio
,
Oleksandra Kulankhina
,
Dongqian Liu
,
Eric Madelaine
Verifying the correct composition of distributed components: Formalisation and Tool.
FOCLASA
(2014)