Overview
Part of the book series: Communications in Computer and Information Science (CCIS, volume 17)
Included in the following conference series:
Conference proceedings info: ISoLA 2008.
Buy print copy
About this book
Keywords
Table of contents (61 papers)
-
Keynote
-
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
Other volumes
-
Leveraging Applications of Formal Methods, Verification and Validation
Editors and Affiliations
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