Cover Image
Read Now

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 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, we...

Full description

Bibliographic Details
Other Authors: Atig, Mohamed Faouzi (Editor), Bensalem, Saddek (Editor), Bliudze, Simon (Editor), Monsuez, Bruno (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2018, 2018
Edition:1st ed. 2018
Series:Theoretical Computer Science and General Issues
Subjects:
Electronic Digital Computers / Evaluation
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
System Performance And Evaluation
Professions
Algorithms
The Computing Profession
Formal Languages And Automata Theory
Computers
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Invited Papers
  • Distributed Systems and Protocols
  • Testing and Fault Detection
  • Model Checking and State-Space Exploration
  • Stochastic and Probabilistic Systems

Similar Items