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
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