TY  - BOOK
AU  - Barkaoui,Kamel
AU  - Boucheneb,Hanifa
AU  - Mili,Ali
AU  - Tahar,Sofiène
ED  - VECoS (Conference)
TI  - Verification and evaluation of computer and communication systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783319661766
AV  - TK5105.5 
U1  - 004/.36 23
PY  - 2017///
CY  - Cham, Switzerland
PB  - Springer
KW  - Computer networks
KW  - Evaluation
KW  - Congresses
KW  - Computer software
KW  - Verification
KW  - Réseaux d'ordinateurs
KW  - Évaluation
KW  - Congrès
KW  - Logiciels
KW  - Vérification
KW  - Software Engineering
KW  - bicssc
KW  - Operating systems
KW  - Programming & scripting languages: general
KW  - Computer programming
KW  - software development
KW  - Artificial intelligence
KW  - Algorithms & data structures
KW  - Computers
KW  - Software Development & Engineering
KW  - General
KW  - bisacsh
KW  - Operating Systems
KW  - Programming Languages
KW  - Programming
KW  - Intelligence (AI) & Semantics
KW  - Algorithms
KW  - fast
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes author index; 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
N2  - 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 this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems
UR  - https://link.springer.com/10.1007/978-3-319-66176-6
ER  -