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
About this book
Editors and Affiliations
-
Department of Computer Science, Software Engineering Group, TU Darmstadt, Darmstadt, Germany
Reiner Hähnle
-
Institute of Computer Languages, TU Vienna, Faculty of Informatics, Vienna, Austria
Jens Knoop
-
Institute of Informatics, Service and Software Engineering Group, University Potsdam, Potsdam, Germany
Tiziana Margaria
-
Faculty of Informatics, Institute of Computer Languages, TU Vienna, Vienna, Austria
Dietmar Schreiner
-
Faculty of Informatics, Chair of Programming Systems, TU Dortmund, Dortmund, Germany
Bernhard Steffen
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
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications