Зображення обкладинки

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /

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...

Повний опис

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Haxthausen, Anne E. (Редактор), Serwe, Wendelin (Редактор)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Редагування:	1st ed. 2024.
Серія:	Lecture Notes in Computer Science, 14952
Предмети:	Compilers (Computer programs). Software engineering. Application software. Artificial intelligence. Computer science. Computer engineering. Computer networks . Compilers and Interpreters. Software Engineering. Computer and Information Systems Applications. Artificial Intelligence. Theory of Computation. Computer Engineering and Networks.
Онлайн доступ:	https://doi.org/10.1007/978-3-031-68150-9
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Опубліковано: (2023)

AIxIA 2024 – Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings /
Опубліковано: (2025)

AIxIA 2023 – Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings /
Опубліковано: (2023)

AIxIA 2022 – Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings /
Опубліковано: (2023)

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers /
Опубліковано: (2023)

Learn coding with Python and JavaScript A practical introduction for beginners /
за авторством: Zuckarelli, Joachim L.
Опубліковано: (2024)

Quality of Information and Communications Technology 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11–13, 2024, Proceedings /
Опубліковано: (2024)

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings /
Опубліковано: (2024)

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
Опубліковано: (2024)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Опубліковано: (2024)

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings /
Опубліковано: (2025)

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings /
Опубліковано: (2023)

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16–19, 2023, Proceedings /
Опубліковано: (2023)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings /
Опубліковано: (2023)

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Опубліковано: (2023)

Quality of Information and Communications Technology 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11–13, 2023, Proceedings /
Опубліковано: (2023)

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I /
Опубліковано: (2025)

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II /
Опубліковано: (2025)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part I /
Опубліковано: (2024)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part II /
Опубліковано: (2024)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Опубліковано: (2023)

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27–29, 2023, Proceedings /
Опубліковано: (2023)

Service-Oriented Computing 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I /
Опубліковано: (2023)

Service-Oriented Computing 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II /
Опубліковано: (2023)

Compiler Construction Fundamentals and Applications /
за авторством: Mössenböck, Hanspeter
Опубліковано: (2025)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Опубліковано: (2024)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part I /
Опубліковано: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part II /
Опубліковано: (2025)

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part I /
Опубліковано: (2024)

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part II /
Опубліковано: (2024)

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II /
Опубліковано: (2024)

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I /
Опубліковано: (2024)

Case-Based Reasoning Research and Development 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1–4, 2024, Proceedings /
Опубліковано: (2024)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part II /
Опубліковано: (2024)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part I /
Опубліковано: (2024)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part III /
Опубліковано: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30–July 3, 2025, Proceedings, Part II /
Опубліковано: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part I /
Опубліковано: (2025)

Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
Опубліковано: (2023)

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings /
Опубліковано: (2024)