FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
1st Edition
Published on 16. June 2011
Book
Paperback/Softback
XIV, 450 pages
978-3-642-21436-3 (ISBN)
Description
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
27 farbige Abbildungen, 83 s/w Abbildungen
XIV, 450 p. 110 illus., 27 illus. in color.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
697 gr
ISBN-13
978-3-642-21436-3 (9783642214363)
DOI
10.1007/978-3-642-21437-0
Schweitzer Classification
Other editions
Additional editions
Michael Butler | Wolfram Schulte
FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
E-Book
06/2011
Springer
€53.49
Available for download