Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Del 14198 i serien Lecture Notes in Computer Science
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings
Häftad, Engelska, 2023
939 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (5)
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
Produktinformation
- Utgivningsdatum2023-09-08
- Mått155 x 235 x 14 mm
- Vikt382 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor226
- FörlagSpringer International Publishing AG
- ISBN9783031433658
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
969 kr
Hoppa över listan
Du kanske också är intresserad av
Del 14198
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
Häftad, 2019
869 kr
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
969 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte
Häftad, 2025
839 kr
Del 10598
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
Häftad, 2017
729 kr
Del 9707
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
Häftad, 2016
749 kr
Del 15456
Risks and Security of Internet and Systems
Samir Ouchani, Simon Collart-Dutilleul, Samir Ouchani, Nora Cuppens, Frédéric Cuppens
Häftad, 2025
1 929 kr
Operating Rules and Interoperability in Trans-National High-Speed Rail
Simon Collart-Dutilleul
Inbunden, 2021
2 449 kr
Del 10090
- Nyhet