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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (55 papers)
-
Front Matter
-
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
Keywords
- Ethernet
- Internet
- Routing
- business process modeling
- classification
- cloud computing
- collaboration
- colored petri nets
- communication system
- crowdsourcing
- distributed systems
- embedded systems
- formal modeling
- formal semantics
- formal verification
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, Computer Science Logic and Foundations of Programming, Software Engineering, Compilers and Interpreters, Computer and Information Systems Applications, Data Mining and Knowledge Discovery