000711939 000__ 02603cam\a2200505Ii\4500
000711939 001__ 711939
000711939 005__ 20230306140218.0
000711939 006__ m\\\\\o\\d\\\\\\\\
000711939 007__ cr\cn\nnnunnun
000711939 008__ 141027s2014\\\\sz\a\\\\o\\\\\101\0\eng\d
000711939 020__ $$a9783319122410$$qelectronic book
000711939 020__ $$a331912241X$$qelectronic book
000711939 020__ $$z9783319122403
000711939 0247_ $$a10.1007/978-3-319-12241-0$$2doi
000711939 035__ $$aSP(OCoLC)ocn893857749
000711939 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dUPM
000711939 049__ $$aISEA
000711939 050_4 $$aQA76.758
000711939 08204 $$a005.1$$223
000711939 1112_ $$aSERENE (Workshop)$$n(6th :$$d2014 :$$cBudapest, Hungary)
000711939 24510 $$aSoftware engineering for resilient systems$$h[electronic resource] :$$b6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings /$$cIstván Majzik, Marco Vieira (eds.).
000711939 2463_ $$aSERENE 2014
000711939 264_1 $$aCham :$$bSpringer,$$c2014.
000711939 300__ $$a1 online resource (x, 185 pages) :$$billustrations.
000711939 336__ $$atext$$btxt$$2rdacontent
000711939 337__ $$acomputer$$bc$$2rdamedia
000711939 338__ $$aonline resource$$bcr$$2rdacarrier
000711939 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8785
000711939 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000711939 500__ $$aInternational conference proceedings.
000711939 500__ $$aIncludes author index.
000711939 5050_ $$aDesign of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring.
000711939 506__ $$aAccess limited to authorized users.
000711939 520__ $$aThis book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.
000711939 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 13, 2014).
000711939 650_0 $$aSoftware engineering$$vCongresses.
000711939 650_0 $$aComputer software$$xReliability$$vCongresses.
000711939 7001_ $$aMajzik, István,$$eeditor.
000711939 7001_ $$aVieira, Marco,$$eeditor.
000711939 830_0 $$aLecture notes in computer science ;$$v8785.
000711939 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000711939 85280 $$bebk$$hSpringerLink
000711939 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-12241-0$$zOnline Access
000711939 909CO $$ooai:library.usi.edu:711939$$pGLOBAL_SET
000711939 980__ $$aEBOOK
000711939 980__ $$aBIB
000711939 982__ $$aEbook
000711939 983__ $$aOnline
000711939 994__ $$a92$$bISE