Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6415)
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 (55 papers)
-
Tools in Scientific Workflow Composition
-
Emerging Services and Technologies for a Converging Telecommunications / Web World in Smart Environments of the Internet of Things
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 I
Editors: Tiziana Margaria, Bernhard Steffen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-16558-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Berlin Heidelberg 2010
Softcover ISBN: 978-3-642-16557-3Published: 19 October 2010
eBook ISBN: 978-3-642-16558-0Published: 02 November 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XX, 708
Number of Illustrations: 220 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