Formal Methods for Industrial Critical Systems [electronic resource] : 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings / edited by Anne E. Haxthausen, Wendelin Serwe.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 14952Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Edición: 1st ed. 2024Descripción: XII, 260 p. 93 illus., 70 illus. in color. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783031681509Tema(s): Compilers (Computer programs) | Software engineering | Application software | Artificial intelligence | Computer science | Computer engineering | Computer networks | Compilers and Interpreters | Software Engineering | Computer and Information Systems Applications | Artificial Intelligence | Theory of Computation | Computer Engineering and NetworksFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 005.45 Clasificación LoC:QA76.76.C65Recursos en línea: Libro electrónico
En: Springer Nature eBookResumen: 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.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
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.
UABC ; Perpetuidad
