Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
AvAnne E. Haxthausen,Wendelin Serwe
Häftad, Engelska, 2024
Del 14952 i serien Lecture Notes in Computer Science
734 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Theoretical Aspects of Computing - ICTAC 2008
Husnu Yenigun, Anne E. Haxthausen, John S. Fitzgerald
E-bok
2008708 kr
Journeys Between Formal Methods and the Railway Industry
Laura Semini, Anne E. Haxthausen, Stefania Gnesi, Maurice H. ter Beek
E-bok
20261 329 kr
Applicable Formal Methods for Safe Industrial Products
Markus Roggenbach, Wen-ling Huang, Anne E. Haxthausen
E-bok
20231 031 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte
Häftad, 2022
733 kr
Theoretical Aspects of Computing - ICTAC 2008
John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
Häftad, 2008
566 kr
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
Häftad, 2023
844 kr
Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini
Häftad, 2026
1 102 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Anne E. Haxthausen, Simon Collart-Dutilleul
E-bok
2022865 kr
- 4 för 3