Editors:
- Fast track conference proceedings
- Unique visibility
- State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7437)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): FMICS: International Conference on Formal Methods for Industrial Critical Systems
Conference proceedings info: FMICS 2012.
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 (14 papers)
-
Front Matter
-
Back Matter
About this book
The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Editors and Affiliations
-
Department of Computer Science, Formal Methods and Tools, University of Twente, Enschede, The Netherlands
Mariëlle Stoelinga
-
Infrastructure and Cities Sector, Mobility and Logistics Division, Rail Automation, Siemens AG, Braunschweig, Germany
Ralf Pinger
Bibliographic Information
Book Title: Formal Methods for Industrial Critical Systems
Book Subtitle: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
Editors: Mariëlle Stoelinga, Ralf Pinger
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-32469-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-32468-0Published: 17 July 2012
eBook ISBN: 978-3-642-32469-7Published: 22 August 2012
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 223
Number of Illustrations: 87 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Special Purpose and Application-Based Systems, Computer Appl. in Administrative Data Processing, Computation by Abstract Devices