Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
This book constitutes the proceedings of the 12th International Conference on Veri¿cation 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 veri¿cation, 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-functi…
Mehr
CHF 84.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Bensalem, Saddek (Hrsg.) / Bliudze, Simon (Hrsg.) / Monsuez, Bruno (Hrsg.)
- ISBN: 978-3-030-00358-6
- EAN: 9783030003586
- Produktnummer: 28237507
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2018
- Seitenangabe: 236 S.
- Masse: H23.5 cm x B15.5 cm x D1.2 cm 365 g
- Auflage: 1st ed. 2018
- Abbildungen: Paperback
- Gewicht: 365
3 weitere Werke von Mohamed Faouzi (Hrsg.) Atig:
Networked Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
Ebook (PDF Format)
CHF 78.00
Bewertungen
Anmelden