| 000 | 03871nam a22006615i 4500 | ||
|---|---|---|---|
| 001 | 978-3-030-00359-3 | ||
| 003 | DE-He213 | ||
| 005 | 20240730170738.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 180830s2018 sz | s |||| 0|eng d | ||
| 020 |
_a9783030003593 _9978-3-030-00359-3 |
||
| 024 | 7 |
_a10.1007/978-3-030-00359-3 _2doi |
|
| 050 | 4 | _aQA76.9.A43 | |
| 072 | 7 |
_aUMB _2bicssc |
|
| 072 | 7 |
_aCOM051300 _2bisacsh |
|
| 072 | 7 |
_aUMB _2thema |
|
| 082 | 0 | 4 |
_a518.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, _x2512-2029 ; _v11181 |
|
| 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. | ||
| 650 | 0 |
_aAlgorithms. _93390 |
|
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 0 |
_aMachine theory. _995090 |
|
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aElectronic digital computers _xEvaluation. _921495 |
|
| 650 | 0 |
_aComputers. _98172 |
|
| 650 | 0 |
_aProfessions. _984435 |
|
| 650 | 1 | 4 |
_aAlgorithms. _93390 |
| 650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
| 650 | 2 | 4 |
_aFormal Languages and Automata Theory. _995093 |
| 650 | 2 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aSystem Performance and Evaluation. _932047 |
| 650 | 2 | 4 |
_aThe Computing Profession. _984437 |
| 700 | 1 |
_aAtig, Mohamed Faouzi. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _995096 |
|
| 700 | 1 |
_aBensalem, Saddek. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _995098 |
|
| 700 | 1 |
_aBliudze, Simon. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _995100 |
|
| 700 | 1 |
_aMonsuez, Bruno. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _995101 |
|
| 710 | 2 |
_aSpringerLink (Online service) _995102 |
|
| 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, _x2512-2029 ; _v11181 _995103 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-00359-3 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c87143 _d87143 |
||