Título :	Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Tipo de documento:	documento electrónico
Autores:	McIver, Annabelle, ; Horvath, Andras,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	XI, 423 p. 101 ilustraciones
ISBN/ISSN/DL:	978-3-319-99154-2
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ciencias de la Computación  Ingeniería de software  Informática  Estadistica matematica  Inteligencia artificial  Simulación por ordenador  Teoría de las máquinas  Lógica informática y fundamentos de la programación  Probabilidad y Estadística en Informática  Modelado por computadora  Lenguajes formales y teoría de los autómatas
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2018, celebrada en Beijing, China, en septiembre de 2018. Los 24 artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 51 presentaciones. Los artículos cubren temas en el campo de la evaluación cuantitativa y verificación de sistemas y redes informáticas a través de modelos y mediciones estocásticos, enfatizando dos temas de frontera en la investigación: el flujo de información cuantitativa para la seguridad y los métodos formales industriales.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings [documento electrónico] / McIver, Annabelle, ; Horvath, Andras,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XI, 423 p. 101 ilustraciones.
ISBN : 978-3-319-99154-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ciencias de la Computación  Ingeniería de software  Informática  Estadistica matematica  Inteligencia artificial  Simulación por ordenador  Teoría de las máquinas  Lógica informática y fundamentos de la programación  Probabilidad y Estadística en Informática  Modelado por computadora  Lenguajes formales y teoría de los autómatas
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2018, celebrada en Beijing, China, en septiembre de 2018. Los 24 artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 51 presentaciones. Los artículos cubren temas en el campo de la evaluación cuantitativa y verificación de sistemas y redes informáticas a través de modelos y mediciones estocásticos, enfatizando dos temas de frontera en la investigación: el flujo de información cuantitativa para la seguridad y los métodos formales industriales.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i