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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Barkaoui, Kamel. (Editor ), Boucheneb, Hanifa. (Editor ), Mili, Ali. (Editor ), Tahar, Sofiène. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10466
Materias:	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.

Tabla de Contenidos:

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.

Ejemplares similares