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,...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Procedimiento de la conferencia Livro |
| Idioma: | inglês |
| Publicado em: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colecção: | (Lecture Notes in Computer Science ;
8657) |
| Assuntos: | |
| Acesso em linha: | Ver documento en línea |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
| Resumo: | 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, depuración y herramientas, autómatas y teoría de procesos de Markov y verificación de modelos probabilísticos. |
|---|---|
| Descrição Física: | 1 libro electrónico en línea (XIV, 422 p.) 1 recurso en línea |
| ISBN: | 978-3-319-10696-0 |
| Acesso: | Licencias ilimitadas |