LEADER 02523nam  22005895  450 
001 9910484470103321
005 20251226202431.0
010   $a3-319-12241-X
024 7 $a10.1007/978-3-319-12241-0
035   $a(CKB)3710000000269695
035   $a(SSID)ssj0001372793
035   $a(PQKBManifestationID)11895569
035   $a(PQKBTitleCode)TC0001372793
035   $a(PQKBWorkID)11314193
035   $a(PQKB)10777889
035   $a(DE-He213)978-3-319-12241-0
035   $a(MiAaPQ)EBC6298064
035   $a(MiAaPQ)EBC5578166
035   $a(Au-PeEL)EBL5578166
035   $a(OCoLC)893857749
035   $a(PPN)182097838
035   $a(EXLCZ)993710000000269695
100   $a20141008d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware Engineering for Resilient Systems $e6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings /$fedited by István Majzik, Marco Vieira
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 185 p. 59 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8785
300   $aIncludes index.
311 08$a3-319-12240-1 
327   $aDesign of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring.
330   $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.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v8785
606   $aComputer science
606   $aComputer Science
615  0$aComputer science.
615 14$aComputer Science.
676   $a005.1
702   $aMajzik$b István$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVieira$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484470103321
996   $aSoftware Engineering for Resilient Systems$92532658
997   $aUNINA