Overview
- The articles describe the latest development in the field of formal methods and description means.
- Authors from universities, from industries R&D departments and practitioners come together to share their ideas.
- Written by experts.
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (25 papers)
-
Invited Lectures
-
1st Day Sessions
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: FORMS/FORMAT 2010
Book Subtitle: Formal Methods for Automation and Safety in Railway and Automotive Systems
Editors: Eckehard Schnieder, Geza Tarnai
DOI: https://doi.org/10.1007/978-3-642-14261-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2011
Hardcover ISBN: 978-3-642-14260-4Published: 23 February 2011
Softcover ISBN: 978-3-642-42716-9Published: 29 September 2014
eBook ISBN: 978-3-642-14261-1Published: 10 February 2011
Edition Number: 1
Number of Pages: XI, 257
Topics: Quality Control, Reliability, Safety and Risk, Automotive Engineering, Simulation and Modeling, Complexity