Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Barkaoui, Kamel (Editor), Boucheneb, Hanifa (Editor), Mili, Ali (Editor), Tahar, Sofiène (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10466
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Algorithms.; Artificial intelligence.; Computer Science.; Algorithm Analysis and Problem Complexity.; Software Engineering.; Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Artificial Intelligence (incl. Robotics).

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

Table of Contents:

• Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation
•  Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation
• Control methods
• Modeling methodologies
• Model development and analysis
• Modeling and simulation.- Formal mehods.