✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 372.752 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Softcover - 9783031681493
62,05 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 21. August 2024
Maße 23.5 cm x 15.5 cm
Gewicht 417 Gramm
Format Softcover
ISBN-13 9783031681493
Seiten 260

Schlagwörter

Angewandte Informatik, Artificial Intelligence, Compiler und Übersetzer, Compilers and Interpreters, Computer and Information Systems Applications, Computer Engineering and Networks, Computerhardware, Künstliche Intelligenz, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +