Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9?11, 2024, Proceedings (Lecture Notes in Computer Science, 14952). Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 2024
- Brossura
- Nuovo
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Venditore con 4 stelle
Venditore AbeBooks dal 22 novembre 2018
Non disponibile
Brossura
Condizione: Nuovo
EUR 101,72
Codice articolo 26402091109
- Titolo
- Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9?11, 2024, Proceedings (Lecture Notes in Computer Science, 14952)
- Editore
- Springer
- Anno di pubblicazione
- 2024
- Condizione
- New
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 3031681495
- ISBN 13
- 9783031681493
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.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9?11, 2024, Proceedings (Lecture Notes in Computer Science, 14952)
Ci sono altre 2 copie di questo libroVisualizza tutti i risultati