000			03764nam a22004575i 4500
999			_c383142 _d383142 _x1
001			383142
003			ES-MaUEC
005			20240201134320.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			220318s2022 sz a s |1|| 0|eng d
020			_a9783030988500
024	7		_a10.1007/978-3-030-98850-0 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aTK5105.5 _b2022 EB
245	0	0	_aVerification and Evaluation of Computer and Communication Systems : _b15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers _cedited by Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li
250			_aFirst edition 2022
264		1	_aCham _bSpringer International Publising _c2022
300			_a1 recurso en línea (XI, 91 páginas) _b30 ilustraciones, 18 ilustraciones a color
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_aLecture Notes in Computer Science _x1611-3349 _v13187
505	0		_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.
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.
988			_aSpringer_Computer_2022
650		7	_2embne _9141354 _aRedes informáticas _xEvaluación _vCongresos y asambleas
650		7	_2embne _9143838 _aSoftware _xEvaluación _vCongresos y asambleas
700	1		_aNouri, Ayoub _eeditor literario _0(orcid)0000-0001-8959-5212 _1https://orcid.org/0000-0001-8959-5212 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aWu, Weimin _eeditor literario _0(orcid)0000-0002-1958-1920 _1https://orcid.org/0000-0002-1958-1920 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aBarkaoui, Kamel _eeditor literario _0(orcid)0000-0001-7175-0448 _1https://orcid.org/0000-0001-7175-0448 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aLi, ZhiWu _eeditor literario _0(orcid)0000-0003-1547-5503 _1https://orcid.org/0000-0003-1547-5503 _4edt _4http://id.loc.gov/vocabulary/relators/edt
776	0	8	_iPrinted edition: _z9783030988494
776	0	8	_iPrinted edition: _z9783030988517
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-98850-0 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b10/2022 _dz _esc _zSI