TY  - BOOK
AU  - Haxthausen,Anne E.
AU  - Serwe,Wendelin
ED  - SpringerLink (Online service)
TI  - Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031681509
AV  - QA76.76.C65 
U1  - 005.45 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Compilers (Computer programs)
KW  - Software engineering
KW  - Application software
KW  - Artificial intelligence
KW  - Computer science
KW  - Computer engineering
KW  - Computer networks 
KW  - Compilers and Interpreters
KW  - Software Engineering
KW  - Computer and Information Systems Applications
KW  - Artificial Intelligence
KW  - Theory of Computation
KW  - Computer Engineering and Networks
N2  - 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
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-68150-9
ER  -