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

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

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Barkaoui, Kamel. (Editor), Boucheneb, Hanifa. (Editor), Mili, Ali. (Editor), Tahar, Sofiène. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10466
Subjects:
Algorithms.
Software engineering.
Operating systems (Computers).
Programming languages (Electronic computers).
Computer programming.
Artificial intelligence.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Artificial Intelligence.
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.

Similar Items