Imagem da capa

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The pap...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Cimatti, Alessandro (Editor), Titolo, Laura (Editor)
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edição:	1st ed. 2023.
Colecção:	Lecture Notes in Computer Science, 14290
Assuntos:	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.
Acesso em linha:	https://doi.org/10.1007/978-3-031-43681-9
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

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

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 /
Publicado em: (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 /
Publicado em: (2025)

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 /
Publicado em: (2023)

Learn coding with Python and JavaScript A practical introduction for beginners /
Por: Zuckarelli, Joachim L.
Publicado em: (2024)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Publicado em: (2023)

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers /
Publicado em: (2023)

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Publicado em: (2023)

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Publicado em: (2023)

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16–19, 2023, Proceedings /
Publicado em: (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 /
Publicado em: (2023)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Publicado em: (2024)

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings /
Publicado em: (2023)

Compiler Construction Fundamentals and Applications /
Por: Mössenböck, Hanspeter
Publicado em: (2025)

Service-Oriented Computing 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I /
Publicado em: (2023)

Service-Oriented Computing 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II /
Publicado em: (2023)

Quality of Information and Communications Technology 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11–13, 2023, Proceedings /
Publicado em: (2023)

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings /
Publicado em: (2025)

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
Publicado em: (2024)

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings /
Publicado em: (2024)

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 /
Publicado em: (2023)

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 /
Publicado em: (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 /
Publicado em: (2024)

Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
Publicado em: (2023)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Publicado em: (2023)

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I /
Publicado em: (2025)

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II /
Publicado em: (2025)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part II /
Publicado em: (2024)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part I /
Publicado em: (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 /
Publicado em: (2024)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Publicado em: (2024)

Guide to Java A Concise Introduction to Programming /
Por: Streib, James T., et al.
Publicado em: (2023)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part III /
Publicado em: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30–July 3, 2025, Proceedings, Part II /
Publicado em: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part I /
Publicado em: (2025)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part I /
Publicado em: (2024)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part II /
Publicado em: (2024)

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
Publicado em: (2023)

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 /
Publicado em: (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 /
Publicado em: (2024)