IFIP Working Group 6.1

17 published titles

Distributed applications and interoperable systems II : IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99), June 28-July 1, 1999, Helsinki,

(Contributor)

1 edition

Formal techniques for networked and distributed systems, FORTE 2004 : 24th IFIP WG 6.1 international conference

(Contributor)

1 edition

Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, Forte 2011, Reykjavik, Iceland, June 6-9, 2011

(Contributor)

1 edition

Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings

(Contributor)

1 edition

Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10 2011 : proceedings

(Contributor)

1 edition

Formal techniques for distributed systems : joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16 2012 :

(Contributor)

1 edition

Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference, DAIS 2012, Stockholm, Sweden, June 13-16 2012 : proceedings

(Contributor)

1 edition

Testing software and systems : 24th IFIP WG 6.1 international conference, ICTSS 2012, Aalborg, Denmark, November 19-21 2012 : proceedings

(Contributor)

1 edition

Distributed applications and interoperable systems : 13th IFIP WG 6.1 international conference, DAIS 2013, held as part of the 8th international federated conference on distributed computing technique

(Contributor)

1 edition

Testing software and systems : 25th IFIP EG 6.1 international conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013 : proceedings

(Contributor)

1 edition

Distributed applications and interoperable systems : 14th IFIP WG 6.1 international conference, DAIS 2014, held as part of the 9th International Federated Conference on Distributed Computing Technique

(Contributor)

1 edition

Coordination models and languages : 16th IFIP WG 6.1 international conference, COORDINATION 2014, held as part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCo

(Contributor)

1 edition

Testing software and systems : 26th IFIP WG 6.1 international conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 : proceedings

(Contributor)

1 edition

Distributed applications and interoperable systems : 15th IFIP WG 6.1 International Conference, DAIS 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniqu

(Contributor)

1 edition

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 C

(Contributor)

1 edition

Coordination models and languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCo

(Contributor)

1 edition

Testing software and systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings

(Contributor)

1 edition