Genere: Libro
Lingua: Inglese
Editore: Springer
Pubblicazione: 08/2024
Edizione: 2024

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Price: 90,98 € EUR
Availability: OutOfStock
Author: Haxthausen Anne E. (Curatore); Serwe Wendelin (Curatore)
ISBN: 9783031681493

haxthausen anne e. (curatore); serwe wendelin (curatore)

90,98 €

TRAMA

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.

ALTRE INFORMAZIONI

Condizione: Nuovo
ISBN: 9783031681493
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes: XII, 260 p. 93 illus., 70 illus. in color.
Pagine Arabe: 260
Pagine Romane: xii