Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4346)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: PDMC 2006.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (24 papers)
-
FMICS
Other volumes
-
Formal Methods: Applications and Technology
Keywords
About this book
Reviews
From the reviews:
"This collection includes papers on various areas in the discipline of formal methods, including formal verification and validation in both hardware and software. … The main contribution of this book revolves around the careful selection of high-quality papers that include both industrial and academic case studies. This book also covers critical areas of formal methods … . This book … could be used as a reference for courses covering various aspects of formal methods and testing." (Hassan Reza, ACM Computing Reviews, Vol. 49 (8), August, 2008)
Bibliographic Information
Book Title: Formal Methods: Applications and Technology
Book Subtitle: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
Editors: Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-70952-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-70951-0Published: 20 February 2007
eBook ISBN: 978-3-540-70952-7Published: 27 June 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 366
Topics: Theory of Computation, Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Special Purpose and Application-Based Systems