000 | 04443nam a22006735i 4500 | ||
---|---|---|---|
001 | 978-3-030-00359-3 | ||
003 | DE-He213 | ||
005 | 20210201191334.0 | ||
007 | cr nn 008mamaa | ||
008 | 180830s2018 gw | s |||| 0|eng d | ||
020 |
_a9783030003593 _9978-3-030-00359-3 |
||
050 | 4 | _aQA76.9.A43 | |
072 | 7 |
_aUMB _2bicssc |
|
072 | 7 |
_aCOM051300 _2bisacsh |
|
072 | 7 |
_aUMB _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aVerification and Evaluation of Computer and Communication Systems _h[electronic resource] : _b12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / _cedited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXIV, 219 p. 66 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues ; _v11181 |
|
500 | _aAcceso multiusuario | ||
505 | 0 | _aInvited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. | |
520 | _aThis book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 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. | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aAlgorithms. | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer system failures. | |
650 | 0 | _aComputers. | |
650 | 1 | 4 |
_aAlgorithm Analysis and Problem Complexity. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16021 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
650 | 2 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
650 | 2 | 4 |
_aThe Computing Profession. _0https://scigraph.springernature.com/ontologies/product-market-codes/I24075 |
700 | 1 |
_aAtig, Mohamed Faouzi. _eeditor. _0(orcid)0000-0001-8229-3481 _1https://orcid.org/0000-0001-8229-3481 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aBensalem, Saddek. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aBliudze, Simon. _eeditor. _0(orcid)0000-0002-7900-5271 _1https://orcid.org/0000-0002-7900-5271 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aMonsuez, Bruno. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030003586 |
776 | 0 | 8 |
_iPrinted edition: _z9783030003609 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v11181 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-030-00359-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c242321 _d242320 |