001450735 000__ 03525cam\a2200613\i\4500
001450735 001__ 1450735
001450735 003__ OCoLC
001450735 005__ 20230310004541.0
001450735 006__ m\\\\\o\\d\\\\\\\\
001450735 007__ cr\cn\nnnunnun
001450735 008__ 221028s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001450735 019__ $$a1348477604$$a1348492176
001450735 020__ $$a9783031197628$$q(electronic bk.)
001450735 020__ $$a3031197623$$q(electronic bk.)
001450735 020__ $$z9783031197611
001450735 020__ $$z3031197615
001450735 0247_ $$a10.1007/978-3-031-19762-8$$2doi
001450735 035__ $$aSP(OCoLC)1349090757
001450735 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001450735 049__ $$aISEA
001450735 050_4 $$aQA76.9.F67$$bI83 2022
001450735 08204 $$a005.1$$223/eng/20221028
001450735 1112_ $$aISoLA (Symposium)$$n(11th :$$d2022 :$$cRhodes, Greece)
001450735 24510 $$aLeveraging applications of formal methods, verification and validation : adaptation and learning :$$b11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings.$$nPart IV /$$cTiziana Margaria, Bernhard Steffen (eds.).
001450735 24630 $$aISoLA 2022
001450735 264_1 $$aCham :$$bSpringer,$$c[2022]
001450735 264_4 $$c©2022
001450735 300__ $$a1 online resource (xiii, 424 pages) :$$billustrations (chiefly color).
001450735 336__ $$atext$$btxt$$2rdacontent
001450735 337__ $$acomputer$$bc$$2rdamedia
001450735 338__ $$aonline resource$$bcr$$2rdacarrier
001450735 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13704
001450735 500__ $$aInternational conference proceedings.
001450735 500__ $$aIncludes author index.
001450735 5050_ $$aDigital Twin Engineering -- Digital Thread in Smart Manufacturing -- Formal Methods for DIStributed COmputing in Future RAILway Systems -- Industrial Day.
001450735 506__ $$aAccess limited to authorized users.
001450735 520__ $$aThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
001450735 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 28, 2022).
001450735 650_0 $$aFormal methods (Computer science)$$vCongresses.
001450735 650_0 $$aComputer software$$xVerification$$vCongresses.
001450735 650_0 $$aSoftware engineering$$vCongresses.
001450735 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001450735 655_7 $$aConference papers and proceedings.$$2lcgft
001450735 655_0 $$aElectronic books.
001450735 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
001450735 7001_ $$aSteffen, Bernhard,$$eeditor.
001450735 77608 $$iPrint version: $$z3031197615$$z9783031197611$$w(OCoLC)1346213317
001450735 830_0 $$aLecture notes in computer science ;$$v13704.$$x1611-3349
001450735 852__ $$bebk
001450735 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-19762-8$$zOnline Access$$91397441.1
001450735 909CO $$ooai:library.usi.edu:1450735$$pGLOBAL_SET
001450735 980__ $$aBIB
001450735 980__ $$aEBOOK
001450735 982__ $$aEbook
001450735 983__ $$aOnline
001450735 994__ $$a92$$bISE