Stochastic Model Checking : Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : Advanced Lectures/

Selección de ponencias presentadas en la Escuela de Otoño sobre Verificación de Modelos Estocásticos, celebrada en Varna, Italia, en octubre de 2012. Se incluyen los siguientes artículos: Análisis del comportamiento oscilatorio con métodos formales; Un tutorial sobre cadenas de Markov interactivas;...

Full description

Saved in:
Bibliographic Details
Corporate Author: Autumn School on Stochastic Model Checking ( Varna, Italia)
Other Authors: Remke, Anne (edición) (edición), Stoelinga, Mariëlle (edición) (edición)
Format: Conference Proceeding Book
Language:English
Published: Heidelberg, Alemania : Springer, 2014, c2014
Series:(Lecture Notes in Computer Science ; 8453)
Subjects:
Online Access:Ver documento en línea
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Ver documento en línea
Holdings details from IT2
Call Number:
Libro en línea
Ejemplar 570711-1
Disponible
Préstamo en línea
Collection:
Libros electrónicos en línea
Notes:
Consultar en línea