001445328 000__ 03997cam\a2200613Ii\4500
001445328 001__ 1445328
001445328 003__ OCoLC
001445328 005__ 20230310003825.0
001445328 006__ m\\\\\o\\d\\\\\\\\
001445328 007__ cr\un\nnnunnun
001445328 008__ 220323s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001445328 019__ $$a1305012691$$a1305169308
001445328 020__ $$a9783030988500$$q(electronic bk.)
001445328 020__ $$a3030988503$$q(electronic bk.)
001445328 020__ $$z9783030988494$$q(print)
001445328 020__ $$z303098849X
001445328 0247_ $$a10.1007/978-3-030-98850-0$$2doi
001445328 035__ $$aSP(OCoLC)1305018338
001445328 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCQ
001445328 049__ $$aISEA
001445328 050_4 $$aTK5105.5
001445328 08204 $$a004/.36$$223
001445328 1112_ $$aVECoS (Conference)$$n(15th :$$d2021 :$$cOnline)
001445328 24510 $$aVerification and evaluation of computer and communication systems :$$b15th International Conference, VECoS 2021, Virtual event, November 22-23, 2021, Revised selected papers /$$cAyoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li (eds.).
001445328 2463_ $$aVECoS 2021
001445328 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001445328 300__ $$a1 online resource (xi, 91 pages) :$$billustrations (some color).
001445328 336__ $$atext$$btxt$$2rdacontent
001445328 337__ $$acomputer$$bc$$2rdamedia
001445328 338__ $$aonline resource$$bcr$$2rdacarrier
001445328 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13187
001445328 500__ $$aIncludes author index.
001445328 5050_ $$aOn Decentralized Monitoring -- Roles and Responsibilities for a Predictable Update Process - A Position Paper -- Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation -- SMT-based Unbounded Model Checking for ATL -- Handling of Operating Modes in Contract-based Timing Specifications -- Coalition formation with multiple alternatives of interdependent tasks.
001445328 506__ $$aAccess limited to authorized users.
001445328 520__ $$aThis book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. .
001445328 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed March 23, 2022).
001445328 650_0 $$aComputer networks$$xEvaluation$$vCongresses.
001445328 650_0 $$aComputer software$$xVerification$$vCongresses.
001445328 650_6 $$aRéseaux d'ordinateurs$$xÉvaluation$$vCongrès.
001445328 650_6 $$aLogiciels$$xVérification$$vCongrès.
001445328 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001445328 655_0 $$aElectronic books.
001445328 7001_ $$aNouri, Ayoub,$$eeditor.$$0(orcid)0000-0001-8959-5212$$1https://orcid.org/0000-0001-8959-5212
001445328 7001_ $$aWu, Weimin,$$eeditor.$$0(orcid)0000-0002-1958-1920$$1https://orcid.org/0000-0002-1958-1920
001445328 7001_ $$aBarkaoui, Kamel,$$eeditor.$$1https://orcid.org/0000-0001-7175-0448
001445328 7001_ $$aLi, ZhiWu,$$d1967-$$eeditor.$$1https://orcid.org/0000-0003-1547-5503
001445328 77608 $$iPrint version: $$z303098849X$$z9783030988494$$w(OCoLC)1301898971
001445328 830_0 $$aLecture notes in computer science ;$$v13187.$$x1611-3349
001445328 852__ $$bebk
001445328 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-98850-0$$zOnline Access$$91397441.1
001445328 909CO $$ooai:library.usi.edu:1445328$$pGLOBAL_SET
001445328 980__ $$aBIB
001445328 980__ $$aEBOOK
001445328 982__ $$aEbook
001445328 983__ $$aOnline
001445328 994__ $$a92$$bISE