Editors:
Part of the book series: Communications in Computer and Information Science (CCIS, volume 17)
Conference series link(s): ISoLA: International Symposium on Leveraging Applications of Formal Methods
Conference proceedings info: ISoLA 2008.
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 (61 papers)
-
Front Matter
-
Tools and Applications in Industrial Software Quality Control
-
Introduction of Multi-core Systems in Automotive Applications
-
Applications of Formal Approaches to Service-Oriented Computing
-
Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia
About this book
Editors and Affiliations
-
Universität Potsdam, Potsdam, Germany
Tiziana Margaria
-
Technische Universität Dortmund, Dortmund, Germany
Bernhard Steffen
Bibliographic Information
Book Title: Leveraging Applications of Formal Methods, Verification and Validation
Book Subtitle: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Editors: Tiziana Margaria, Bernhard Steffen
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-3-540-88479-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-88478-1Published: 14 October 2008
eBook ISBN: 978-3-540-88479-8Published: 05 November 2008
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: XIV, 869
Topics: Software Engineering/Programming and Operating Systems, Theory of Computation, Programming Techniques, Software Engineering, Models and Principles, Simulation and Modeling