Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings /

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers present...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Iyoda, Juliano (Editor ), de Moura, Leonardo (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Programming and Software Engineering, 8195
Temas:
Computer science.
Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Foundational and methodological issues in formal methods
  • Design and analysis of software systems
  • Design and analysis of hardware systems.- Applications in various domains.

Ejemplares similares