000717173 000__ 02845cam\a2200493Mi\4500
000717173 001__ 717173
000717173 005__ 20230306140157.0
000717173 006__ m\\\\\o\\d\\\\\\\\
000717173 007__ cr\un\nnnunnun
000717173 008__ 141208s2014\\\\sz\a\\\\o\\\\\101\0\eng\d
000717173 020__ $$a9783662454893$$qelectronic book
000717173 020__ $$a3662454890$$qelectronic book
000717173 020__ $$z9783662454886
000717173 020__ $$z3662454882
000717173 035__ $$aSP(OCoLC)ocn897803055
000717173 035__ $$a717173
000717173 040__ $$aNLGGC$$beng$$erda$$epn$$cNLGGC$$dOCLCQ$$dOCLCO$$dGW5XE$$dUPM$$dYDXCP
000717173 049__ $$aISEA
000717173 050_4 $$aQA274.2
000717173 08204 $$a003/.76$$223
000717173 1112_ $$aROCKS Autumn School$$d(2012 :$$cVarna, Italy)
000717173 24510 $$aStochastic model checking$$h[electronic resource] :$$brigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanced lectures /$$cAnne Remke, Mariëlle Stoelinga (Eds.).
000717173 2463_ $$aROCKS 2012
000717173 264_1 $$aBerlin :$$bSpringer,$$c[2014]
000717173 264_4 $$c©2014
000717173 300__ $$a1 online resource (xii, 281 pages) :$$billustrations.
000717173 336__ $$atext$$btxt$$2rdacontent
000717173 337__ $$acomputer$$bc$$2rdamedia
000717173 338__ $$aonline resource$$bcr$$2rdacarrier
000717173 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8453
000717173 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000717173 500__ $$aIncludes author index.
000717173 506__ $$aAccess limited to authorized users.
000717173 520__ $$aThe use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.
000717173 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed December 15, 2014).
000717173 650_0 $$aStochastic models$$vCongresses.
000717173 7001_ $$aRemke, Anne,$$d1980-$$eeditor.
000717173 7001_ $$aStoelinga, Mariëlle,$$eeditor.
000717173 830_0 $$aLecture notes in computer science ;$$v8453.
000717173 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000717173 85280 $$bebk$$hSpringerLink
000717173 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-662-45489-3$$zOnline Access
000717173 909CO $$ooai:library.usi.edu:717173$$pGLOBAL_SET
000717173 980__ $$aEBOOK
000717173 980__ $$aBIB
000717173 982__ $$aEbook
000717173 983__ $$aOnline
000717173 994__ $$a92$$bISE