Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Atig, Mohamed Faouzi (Editor, http://id.loc.gov/vocabulary/relators/edt), Bensalem, Saddek (Editor, http://id.loc.gov/vocabulary/relators/edt), Bliudze, Simon (Editor, http://id.loc.gov/vocabulary/relators/edt), Monsuez, Bruno (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Theoretical Computer Science and General Issues ; 11181
• Subjects: Algorithms.; Computer logic.; Mathematical logic.; Software engineering.; Computer system failures.; Computers.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; System Performance and Evaluation.; The Computing Profession.

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

Table of Contents:

• Invited Papers
• Distributed Systems and Protocols
• Testing and Fault Detection
• Model Checking and State-Space Exploration
• Stochastic and Probabilistic Systems.