Formal Methods for Industrial Critical Systems | 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Frédéric Lang (u. a.)

ISBN 10: 3319107011 / ISBN 13: 9783319107011

Published by Springer, 2014

About this Item

Formal Methods for Industrial Critical Systems | 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings | Frédéric Lang (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2014 | Springer | EAN 9783319107011 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 105182690

Bibliographic Details

• Title: Formal Methods for Industrial Critical Systems | 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
• Publisher: Springer
• Publication Date: 2014
• Language: English
• ISBN 10: 3319107011
• ISBN 13: 9783319107011
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 12D millimeters 235 millimeters width by 155 millimeters height by 12 millimeters depth
• Weight: 335 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.