Programming and Software Engineering
© 2010
Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Editors: Kowalewski, Stefan, Roveri, Marco (Eds.)
Free Preview- up-to-date results
- fast track conference proceedings
- state-of-the-art report
Buy this book
- Table of contents (14 chapters)
-
-
The Metrô Rio ATP Case Study
Pages 1-16
-
Practical Issues with Formal Specifications
Pages 17-32
-
Formal Analysis of BPMN Models Using Event-B
Pages 33-49
-
Developing Mode-Rich Satellite Software by Refinement in Event B
Pages 50-66
-
Automatic Error Correction of Java Programs
Pages 67-81
-
Table of contents (14 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formal Methods for Industrial Critical Systems
- Book Subtitle
- 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
- Editors
-
- Stefan Kowalewski
- Marco Roveri
- Series Title
- Programming and Software Engineering
- Series Volume
- 6371
- Copyright
- 2010
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer Berlin Heidelberg
- eBook ISBN
- 978-3-642-15898-8
- DOI
- 10.1007/978-3-642-15898-8
- Softcover ISBN
- 978-3-642-15897-1
- Edition Number
- 1
- Number of Pages
- XII, 231
- Number of Illustrations
- 82 b/w illustrations
- Topics
