Application

Identifiers

• name variant Application 0.60 · backfill

Papers (1)

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

Mentions

• 1502.03515 #10 · backfill · confidence 0.70 Application

Frequent Coauthors

• China) 1 shared papers
• CNRS 1 shared papers
• Dongqian Liu (MoE Engineering Research Center for Software 1 shared papers
• ECNU 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