Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6416)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): ISoLA: International Symposium on Leveraging Applications of Formal Methods
Conference proceedings info: ISoLA 2010.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (46 papers)
-
Front Matter
-
EternalS: Mission and Roadmap
-
Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing
-
Quantitative Verification in Practice
Other Volumes
-
Leveraging Applications of Formal Methods, Verification, and Validation
Editors and Affiliations
-
Institute for Informatics, University of Potsdam, Potsdam, Germany
Tiziana Margaria
-
Technical University of Dortmund, Dortmund, Germany
Bernhard Steffen
Bibliographic Information
Book Title: Leveraging Applications of Formal Methods, Verification, and Validation
Book Subtitle: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Editors: Tiziana Margaria, Bernhard Steffen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-16561-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Berlin Heidelberg 2010
Softcover ISBN: 978-3-642-16560-3Published: 19 October 2010
eBook ISBN: 978-3-642-16561-0Published: 02 November 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 498
Number of Illustrations: 157 b/w illustrations
Topics: Computer Communication Networks, Logics and Meanings of Programs, Software Engineering, Programming Languages, Compilers, Interpreters, Information Systems Applications (incl. Internet), Data Mining and Knowledge Discovery