Computing and Information Technology, Computer Programming / Software Engineering, Compilers and Interpreters
Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

,
Paperback Published on: 21/08/2024
£54.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

Synopsis

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.

The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

Publisher information

  • Publisher: Springer Nature Switzerland
  • ISBN: 9783031681493
  • Number of pages: 260
  • Dimensions: 234 x 156 x 17 mm
  • Weight: 422g
  • Languages: English