Overview
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)
Included in the following conference series:
Conference proceedings info: ISoLA 2010.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (55 papers)
-
New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective
-
Formal Languages and Methods for Designing and Verifying Complex Embedded Systems
-
Worst-Case Traversal Time (WCTT)
Other volumes
-
Leveraging Applications of Formal Methods, Verification, and Validation
-
Leveraging Applications of Formal Methods, Verification, and Validation
Keywords
Editors and Affiliations
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