Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Programming and Software Engineering

Formal Methods for Industrial Critical Systems

13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Editors: Cofer, Darren, Fantechi, Alessandro (Eds.)

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-642-03240-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-03239-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering.

The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies.

Table of contents (18 chapters)

  • Formal Methods for Critical Systems

    Miller, Steven P.

    Pages 1-1

  • Model-Based Verification of Automotive Control Software

    Cleaveland, Rance

    Pages 2-2

  • Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach

    Damm, Werner

    Pages 3-3

  • Panel Discussion on Formal Methods in Commercial Software Development Tools

    Fantechi, Alessandro (et al.)

    Pages 4-6

  • LETO - A Lustre-Based Test Oracle for Airbus Critical Systems

    Durrieu, Guy (et al.)

    Pages 7-22

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-642-03240-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-03239-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods for Industrial Critical Systems
Book Subtitle
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Editors
  • Darren Cofer
  • Alessandro Fantechi
Series Title
Programming and Software Engineering
Series Volume
5596
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-03240-0
DOI
10.1007/978-3-642-03240-0
Softcover ISBN
978-3-642-03239-4
Edition Number
1
Number of Pages
X, 233
Topics