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;...

Cur síos iomlán

Sonraí bibleagrafaíochta

Údar corparáideach:	Autumn School on Stochastic Model Checking ( Varna, Italia)
Rannpháirtithe:	Remke, Anne (edición) (edición), Stoelinga, Mariëlle (edición) (edición)
Formáid:	Imeacht comhdhála LEABHAR
Teanga:	Béarla
Foilsithe / Cruthaithe:	Heidelberg, Alemania : Springer, 2014, c2014
Sraith:	(Lecture Notes in Computer Science ; 8453)
Ábhair:	Programación (Software) Ingeniería de Software Algoritmos Desarrollo de Sistemas Procesos de Markov - > Tema Principal Procesos Estocásticos - > Congresos - > Tema Principal Probabilidad Modelos Matemáticos Métodos de Simulación Matemáticas Ingeniería Computacional
Rochtain ar líne:	Ver documento en línea
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!