Formal techniques for distributed objects, components, and systems. 35th IFIP WG 6.1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2--4, 2015. Proceedings (Q593103)

From MaRDI portal





scientific article; zbMATH DE number 6473488
Language Label Description Also known as
default for all languages
No label defined
    English
    Formal techniques for distributed objects, components, and systems. 35th IFIP WG 6.1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2--4, 2015. Proceedings
    scientific article; zbMATH DE number 6473488

      Statements

      Formal techniques for distributed objects, components, and systems. 35th IFIP WG 6.1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2--4, 2015. Proceedings (English)
      0 references
      18 August 2015
      0 references

      Identifiers