000711814 000__ 03624cam\a2200541Ii\4500
000711814 001__ 711814
000711814 005__ 20230306140211.0
000711814 006__ m\\\\\o\\d\\\\\\\\
000711814 007__ cr\cn\nnnunnun
000711814 008__ 141010s2014\\\\gw\a\\\\o\\\\\101\0\eng\d
000711814 019__ $$a892338784
000711814 020__ $$a9783662452318$$qelectronic book
000711814 020__ $$a3662452316$$qelectronic book
000711814 020__ $$z9783662452301
000711814 020__ $$z3662452308
000711814 0247_ $$a10.1007/978-3-662-45231-8$$2doi
000711814 035__ $$aSP(OCoLC)ocn892733327$$z(OCoLC) 892338784
000711814 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dNLGGC$$dYDXCP$$dBTCTA$$dUPM
000711814 049__ $$aISEA
000711814 050_4 $$aTJ211.45
000711814 08204 $$a629.8/9251$$223
000711814 1112_ $$aISoLA (Symposium)$$n(6th :$$d2014 :$$cKerkyra, Greece)
000711814 24510 $$aLeveraging applications of formal methods, verification and validation$$h[electronic resource] :$$bspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings.$$nPart II /$$cedited by Tiziana Margaria, Bernhard Steffen.
000711814 2463_ $$aISoLA 2014
000711814 264_1 $$aHeidelberg :$$bSpringer,$$c2014.
000711814 300__ $$a1 online resource (xviii, 644 pages) :$$billustrations.
000711814 336__ $$atext$$btxt$$2rdacontent
000711814 337__ $$acomputer$$bc$$2rdamedia
000711814 338__ $$aonline resource$$bcr$$2rdacarrier
000711814 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8803
000711814 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000711814 500__ $$aInternational conference proceedings.
000711814 500__ $$aIncludes author index.
000711814 506__ $$aAccess limited to authorized users.
000711814 520__ $$aThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.
000711814 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 10, 2014).
000711814 650_0 $$aRobots$$xProgramming$$vCongresses.
000711814 650_0 $$aMachine learning$$vCongresses.
000711814 650_0 $$aComputer software$$xVerification$$vCongresses.
000711814 650_0 $$aFormal methods (Computer science)$$vCongresses.
000711814 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
000711814 7001_ $$aSteffen, Bernhard,$$eeditor.
000711814 830_0 $$aLecture notes in computer science ;$$v8803.
000711814 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000711814 85280 $$bebk$$hSpringerLink
000711814 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-662-45231-8$$zOnline Access
000711814 909CO $$ooai:library.usi.edu:711814$$pGLOBAL_SET
000711814 980__ $$aEBOOK
000711814 980__ $$aBIB
000711814 982__ $$aEbook
000711814 983__ $$aOnline
000711814 994__ $$a92$$bISE