Books > Computing & IT > Computer communications & networking
|
Not currently available
Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings (Paperback, 1st ed. 2019)
Loot Price: R1,375
Discovery Miles 13 750
|
|
Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings (Paperback, 1st ed. 2019)
Series: Theoretical Computer Science and General Issues, 11847
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
This book constitutes the proceedings of the 13th International
Conference on Verification and Evaluation of Computer and
Communication Systems ( VECoS 2019), held in Porto, Portugal, in
October 2019. The 7 full papers in this volume, presented together
with two invited talks, were carefully reviewed and selected from
13 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|