Imagem da capa

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Akshay, S. (Editor), Niemetz, Aina (Editor), Sankaranarayanan, Sriram (Editor)
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edição:	1st ed. 2025.
Colecção:	Lecture Notes in Computer Science, 15054
Assuntos:	Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computers. Computer science. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Computer Hardware. Theory of Computation.
Acesso em linha:	https://doi.org/10.1007/978-3-031-78709-6
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II /
Publicado em: (2025)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I /
Publicado em: (2023)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II /
Publicado em: (2023)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part I /
Publicado em: (2025)

Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings /
Publicado em: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part II /
Publicado em: (2025)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20–22, 2024, Proceedings /
Publicado em: (2024)

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)

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings /
Publicado em: (2025)

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers /
Publicado em: (2025)

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)

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

Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings /
Publicado em: (2024)

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)

Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings /
Publicado em: (2023)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9–11, 2025, Proceedings /
Publicado em: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I /
Publicado em: (2025)

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
Publicado em: (2024)

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers /
Publicado em: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II /
Publicado em: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III /
Publicado em: (2025)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27–29, 2023, Proceedings /
Publicado em: (2023)

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

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

VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16–18, 2023, Revised Extended Selected Papers /
Publicado em: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part I /
Publicado em: (2024)

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9–10, 2024, Proceedings /
Publicado em: (2025)

Technological Innovation for Human-Centric Systems 15th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2024, Caparica, Portugal, July 3–5, 2024, Proceedings /
Publicado em: (2024)

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

Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12–14, 2024, Revised Selected Papers /
Publicado em: (2025)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I /
Publicado em: (2024)

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

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part III /
Publicado em: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part II /
Publicado em: (2024)

Emerging Technology for Sustainable Development Select Proceedings of EGTET 2022 /
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)

Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14–16, 2024, Proceedings /
Publicado em: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II /
Publicado em: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI /
Publicado em: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV /
Publicado em: (2024)