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

From MaRDI portal
(Redirected from Publication:472640)


DOI10.1007/978-3-662-45489-3MaRDI QIDQ472640zbMATH OpenOpenAlexFDO

Authors

Publication date 19 November 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-45489-3


Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)






Cited in
(1)






This page was built for publication: 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472640)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=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&oldid=62085234"
Powered by MediaWiki