Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications
Author :
Publisher : Springer Science & Business Media
Total Pages : 360
Release :
ISBN-10 : 9783642104510
ISBN-13 : 3642104517
Rating : 4/5 (517 Downloads)

Book Synopsis Formal Methods: Foundations and Applications by : Marcel Vinícius Medeiros Oliveira

Download or read book Formal Methods: Foundations and Applications written by Marcel Vinícius Medeiros Oliveira and published by Springer Science & Business Media. This book was released on 2009-11-09 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.


Formal Methods: Foundations and Applications Related Books

Formal Methods: Foundations and Applications
Language: en
Pages: 234
Authors: Gustavo Carvalho
Categories: Computers
Type: BOOK - Published: 2020-11-19 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Bra
Formal Methods: Foundations and Applications
Language: en
Pages: 299
Authors: Jim Davies
Categories: Computers
Type: BOOK - Published: 2011-03-17 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, i
Formal Methods: Foundations and Applications
Language: en
Pages: 360
Authors: Marcel Vinícius Medeiros Oliveira
Categories: Computers
Type: BOOK - Published: 2009-11-09 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Formal Methods: Foundations and Applications
Language: en
Pages: 258
Authors: Leila Ribeiro
Categories: Computers
Type: BOOK - Published: 2016-11-12 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016
Formal Methods: Foundations and Applications
Language: en
Pages: 252
Authors: Juliano Iyoda
Categories: Computers
Type: BOOK - Published: 2013-08-30 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013