Opening book details…
Can I read 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 : proceedings on EtoBox?
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 : proceedings by Roberto Bruni; Juergen Dingel; IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS; IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE is a nonfiction available to read on EtoBox.
What is 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 : proceedings about?
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms. Erscheinungsdatum: 26.05.2011
Who reads 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 : proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Roberto Bruni; Juergen Dingel; IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS; IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE
- Publisher
- Springer Berlin Heidelberg : Imprint: Springer
- Published
- 2011
- Language
- EN
- ISBN
- 9783642021374
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Language Learning
More by Roberto Bruni; Juergen Dingel; IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS; IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE
Similar books
- 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, Proceedings — Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (2012)
- Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6. 1 International Conference, FMOODS 2010 and 30th IFIP WG 6. 1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010, Proceedings — Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (2010)
- Distributed Applications and Interoperable Systems : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings — Amir H. Payberah, Jim Dowling, Seif Haridi (auth.), Pascal Felber, Romain Rouvoy (2011)
- Formal Techniques for Distributed Systems [recurso electrónico] Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings — Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (2013)
- Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese (auth.), Martin Steffen, Gianluigi Zavattaro (2005)
- Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings — Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (2004)