ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1502.03515
  4. Cited By
Verifying the correct composition of distributed components:
  Formalisation and Tool

Verifying the correct composition of distributed components: Formalisation and Tool

12 February 2015
L. Henrio
Oleksandra Kulankhina
Dongqian Liu
E. Madelaine
    CoGe
ArXiv (abs)PDFHTML

Papers citing "Verifying the correct composition of distributed components: Formalisation and Tool"

0 / 0 papers shown

No papers found

Page 1 of 0