Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings (Paperback, 1st ed. 2018)
Loot Price: R1,557
Discovery Miles 15 570
|
|
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings (Paperback, 1st ed. 2018)
Series: Lecture Notes in Computer Science, 11181
Expected to ship within 10 - 15 working days
|
This 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.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.