Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
by
Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872
Title
:
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Author
:
Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872
ISBN
:
9783031681509
Edition
:
1st ed. 2024.
Physical Description
:
XII, 260 p. 93 illus., 70 illus. in color. online resource.
Series
:
Lecture Notes in Computer Science, 14952
Abstract
:
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.
Subject Term
:
Compilers (Computer programs).
Software engineering.
Application software.
Artificial intelligence.
Computer science.
Computer engineering.
Computer networks .
Compilers and Interpreters.
Computer and Information Systems Applications.
Theory of Computation.
Computer Engineering and Networks.
Added Author
:
Haxthausen, Anne E.
Serwe, Wendelin.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 604788-1001 | ONLINE | | Springer E-Kitap Koleksiyonu |