Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by Bernhard Schätz (Editor), Gwen Salaün (Editor)

• New

  Paperback
  2011

  $56.76

  This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. 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.