Vista normal Vista MARC Vista ISBD

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings / [electronic resource] : edited by Anne E. Haxthausen, Wendelin Serwe. - 1st ed. 2024. - XII, 260 p. 93 illus., 70 illus. in color. online resource. - Lecture Notes in Computer Science, 14952 1611-3349 ; . - Lecture Notes in Computer Science, 14952 .

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.

ISBN: 9783031681509

Subjects--Topical Terms:
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 Networks.

LC Class. No.: QA76.76.C65

Dewey Class. No.: 005.45