Del 10466
Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar
Häftad, 2017
558 kr
Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
E-bok
Engelska, 2017734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.
The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.
The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.
The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation 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 in
terrelated. 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 dis-tributed hardware/software systems.Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Introduction aux systèmes d'exploitation - Cours et exercices en GNU/Linux
Hanifa Boucheneb, Juan-Manuel Torres-Moreno
E-bok
2019468 kr
- -19%
- Signerad!
Del 2
SIGNERAD - Kopians hämnd
IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer
Inbunden, 2026
189 kr
- Signerad!
- -30%
Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Häftad, 2002
558 kr
- -20%
Del 1
Reuse Based Software Engineering
Hafedh Mili, Ali Mili, Sherif Yacoub, Edward Addy
Inbunden, 2002
2 299 kr
- -23%