1/1
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
Autor/Editor: Stoelinga, Mariëlle - Remke, Anne
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering - Programming Languages - Compilers - Interpreters - Probability and Statistics in Computer Science - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8453
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-662-45489-3
ISSN-e: 1611-3349