ECNU

Identifiers

• name variant ECNU 0.60 · backfill

Papers (1)

1. Verifying the correct composition of distributed components: Formalisation and Tool cs.DC · 2015 · author #11

Mentions

• 1502.03515 #11 · backfill · confidence 0.70 ECNU

Frequent Coauthors

• Application 1 shared papers
• China) 1 shared papers
• CNRS 1 shared papers
• Dongqian Liu (MoE Engineering Research Center for Software 1 shared papers
• Eric Madelaine (NRIA Sophia Antipolis Mediterannee 1 shared papers
• France) 1 shared papers
• Hardware Co-design Technology 1 shared papers
• Ludovic Henrio (Univ. of Nice Sophia Antipolis 1 shared papers
• Oleksandra Kulankhina (NRIA Sophia Antipolis Mediterannee 1 shared papers
• Univ. of Nice Sophia Antipolis 1 shared papers