Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
Selección de ponencias de la décima primera Conferencia Internacional sobre Evaluación Cuantitativa de Sistemas, celebrada en Florencia, Italia, en septiembre de 2014. Los artículos están organizados en secciones temáticas sobre métodos de Kronecker y de forma de producto, sistemas híbridos, colas,...
Guardado en:
| Autor corporativo: | |
|---|---|
| Otros autores: | , |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | Inglés |
| Publicado: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colección: | (Lecture Notes in Computer Science ;
8657) |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Quantitative Evaluation of Systems :
- Computer Performance Engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : Proceedings /
- Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
- Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : Proceedings /
- Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /
- Models@run.time : Foundations, Applications, and Roadmaps /
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /