Overview
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
Part of the book series: Communications in Computer and Information Science (CCIS, volume 336)
Included in the following conference series:
Conference proceedings info: ISoLA 2011.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 papers)
Other volumes
-
Leveraging Applications of Formal Methods, Verification, and Validation
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Leveraging Applications of Formal Methods, Verification, and Validation
Book Subtitle: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Editors: Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-3-642-34781-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-34780-1Published: 12 October 2012
eBook ISBN: 978-3-642-34781-8Published: 12 October 2012
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: XII, 261
Number of Illustrations: 94 b/w illustrations
Topics: Artificial Intelligence, Data Mining and Knowledge Discovery, Software Engineering, Computation by Abstract Devices, Information Storage and Retrieval, Pattern Recognition