|
Showing 1 - 1 of
1 matches in All Departments
|
Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers (Paperback, 1st ed. 2022)
Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li
|
R1,625
Discovery Miles 16 250
|
Ships in 10 - 15 working days
|
This 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.
|
You may like...
Barbie
Margot Robbie, Ryan Gosling
Blu-ray disc
R266
Discovery Miles 2 660
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.