Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings - Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali.; Tahar, Sofiène.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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.
Keywords: 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