Del 13294
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte
Häftad, 2022
743 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
743 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
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
Mer från samma författare
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Anne E. Haxthausen, Simon Collart-Dutilleul
E-bok
2022896 kr
Del 14165
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
Häftad, 2023
856 kr
Applicable Formal Methods for Safe Industrial Products
Markus Roggenbach, Wen-ling Huang, Anne E. Haxthausen
E-bok
20231 056 kr
Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini
Häftad, 2026
1 116 kr
Journeys Between Formal Methods and the Railway Industry
Laura Semini, Anne E. Haxthausen, Stefania Gnesi, Maurice H. ter Beek
E-bok
20261 373 kr
Theoretical Aspects of Computing - ICTAC 2008
John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
Häftad, 2008
573 kr
Theoretical Aspects of Computing - ICTAC 2008
Husnu Yenigun, Anne E. Haxthausen, John S. Fitzgerald
E-bok
2008739 kr
Hoppa över listan
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
556 kr
Del 16297
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
935 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
573 kr
Del 16096
Energy Informatics
Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin
Häftad, 2025
845 kr
Del 15582
Biomimetic and Biohybrid Systems
Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott
Häftad, 2025
1 026 kr
- Nyhet
Del 16693
Advanced Parallel Processing Technologies
Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson
Häftad, 2026
1 026 kr
Del 16832
Progress in Cryptology - AFRICACRYPT 2026
Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez
Häftad, 2026
935 kr
- Nyhet
Del 16923
Electronic Participation
David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek
Häftad, 2026
732 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
- Nyhet
Formal Methods for Industrial Critical Systems
Peter Gorm Larsen, Kristin Yvonne Rozier
Häftad, 2026
754 kr
Del 8718
Del 13487
Del 11687
Formal Methods for Industrial Critical Systems
María Alpuente, Byron Cook, Christophe Joubert
Häftad, 2009
573 kr
Del 9128