Formal Methods: Foundations and Applications
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
Published on 13. September 2013
Book
Paperback/Softback
X, 243 pages
978-3-642-41070-3 (ISBN)
Description
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.
More details
Series
Edition
2013 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
81 s/w Abbildungen
X, 243 p. 81 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 15 mm
Weight
394 gr
ISBN-13
978-3-642-41070-3 (9783642410703)
DOI
10.1007/978-3-642-41071-0
Schweitzer Classification
Other editions
Additional editions
Juliano Iyoda | Leonardo de Moura
Formal Methods: Foundations and Applications
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
E-Book
08/2013
Springer
€48.14
Available for download
Content
Foundational and methodological issues in formal methods.- Design and analysis of software systems.- Design and analysis of hardware systems.- Applications in various domains.