Formal Methods for Industrial Critical Systems

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

  • Frédéric Lang
  • Francesco Flammini
Conference proceedings FMICS 2014

DOI: 10.1007/978-3-319-10702-8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8718)

Table of contents

  1. Front Matter
  2. Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
    Pages 33-47
  3. Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris Myers
    Pages 48-62
  4. Lars Lockefeer, David M. Williams, Wan J. Fokkink
    Pages 63-77
  5. Paul Fiterău-Broştean, Ramon Janssen, Frits Vaandrager
    Pages 78-93
  6. Andrea Bonacchi, Alessandro Fantechi
    Pages 94-108
  7. Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari
    Pages 109-123
  8. Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
    Pages 124-139
  9. Sandrine Blazy, David Bühler, Boris Yakobowski
    Pages 140-154
  10. Christian Ellen, Sven Sieverding, Hardi Hungar
    Pages 155-169
  11. Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
    Pages 170-184
  12. Back Matter

About these proceedings

Introduction

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.

Keywords

cyber-physical systems distributed systems embedded systems formal methods industrial applications model checking real-time systems scalability software development software functional properties software tools software verification and validation usability validation verification

Editors and affiliations

  • Frédéric Lang
    • 1
  • Francesco Flammini
    • 2
  1. 1.InriaMontbonnotFrance
  2. 2.Ansaldo STSNaplesItaly

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10701-1
  • Online ISBN 978-3-319-10702-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349