Opening book details…
Can I read Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings on EtoBox?
Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings by Pierre Ganty, Mohamed Kaâniche is a computer science book available to read on EtoBox.
What is Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings about?
<p>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.</p> <p>The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions.</p> <p>The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependab
Who reads Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Pierre Ganty, Mohamed Kaâniche
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2019
- Language
- EN
- ISBN
- 9783030350918
- Category
- computer science
- Subjects
- Management, Engineering, Database Administration & Management
- Updated
- 2026-03-25
More by Pierre Ganty, Mohamed Kaâniche
Browse all works by Pierre Ganty, Mohamed Kaâniche
Similar books
- Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings — Graham Hutton,Gerhard Goos,Juris Hartmanis,Elisa Bertino,Wen Gao,Bernhard Steffen,Gerhard Woeginger,Moti Yung (2019)
- Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9{u2013}11, 2019, Proceedings (2019)
- Static Analysis: 26th International Symposium, Sas 2019, Porto, Portugal, October 8-11, 2019, Proceedings (lecture Notes In Computer Science) — Bor-Yuh Evan Chang (2019)
- Proceedings of the 13th International Conference on Damage Assessment of Structures : DAMAS 2019, 9-10 July 2019, Porto, Portugal — Magd Abdel Wahab, (2020)
- Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings — Wolfram Büttner (auth.), Dominique Borrione, Wolfgang Paul (2005)
- Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held As Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (2019)