Thierry Lecomte - Böcker
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
829 kr
Skickas inom 10-15 vardagar
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
929 kr
Skickas inom 10-15 vardagar
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings
899 kr
Skickas inom 10-15 vardagar
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings
809 kr
Skickas inom 10-15 vardagar
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
719 kr
Skickas inom 10-15 vardagar
Formal Methods: Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
719 kr
Skickas inom 10-15 vardagar
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
699 kr
Skickas inom 10-15 vardagar