Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
Selección de ponencias presentadas en la trigésima cuarta Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, celebrada en Berlín, Alemania, en junio de 2014, como parte de la novena Conferencia Internacional Federada sobre Técnicas de Com...
| Співавтори: | , |
|---|---|
| Інші автори: | , |
| Формат: | Матеріали конференцій Книга |
| Мова: | Англійська |
| Опубліковано: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Серія: | (Lecture Notes in Computer Science ;
8461) |
| Предмети: | |
| Онлайн доступ: | Ver documento en línea |
Схожі ресурси: Formal Techniques for Distributed Objects, Components, and Systems :
- Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : Proceedings /
- Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
- Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : Proceedings /
- Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
- From Programs to Systems : The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis Grenoble, France, April 6, 2014 : Proceedings /
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /