From Programs to Systems : The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis Grenoble, France, April 6, 2014 : Proceedings /
Selección de las ponencias presentadas en el taller De los Programas a los Sistemas, que se realizó en honor al profesor Joseph Sifakis en el marco de las décimo séptimas Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ambos eventos tuvieron lugar en Grenoble, Francia, en abril...
Сохранить в:
| Корпоративные авторы: | , |
|---|---|
| Другие авторы: | , , |
| Формат: | Материалы конференции |
| Язык: | английский |
| Опубликовано: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Серии: | (Lecture Notes in Computer Science ;
8415) |
| Предметы: | |
| Online-ссылка: | Ver documento en línea |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы: From Programs to Systems :
- FundamentalApproaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 : Proceedings /
- Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
- Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : Proceedings /
- From Animals to Animats 13 : 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014 : Proceedings /
- 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 /
- Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : Proceedings /