Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.

The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.

The papers focus on development and application of formal methods in industry. FMICS is a platform for scien...

Read more
E-book
epub
Price
54.99 £

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.

The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.

The papers focus on development and application of formal methods in industry. FMICS is a platform for scien...

Read more

Options

  • Formats: epub
  • ISBN: 9783031436819
  • Publication Date: 16 Sept 2023
  • Publisher: Springer Nature Switzerland
  • Product language: English
  • Drm Setting: DRM