Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte
Häftad, 2022
720 kr
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
720 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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Theoretical Aspects of Computing - ICTAC 2008
John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
Häftad, 2008
556 kr
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
Häftad, 2023
830 kr
Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini
Häftad, 2026
1 081 kr
- Signerad!
- Nyhet
Del 2
- Nyhet
- -30%
- -22%
Del 3